Remove unsupported --show-reachable-properties

It likely never was supported in goto-analyzer and janalyzer, see
a35731b for when it was removed from tools that actually supported it.

Author: tautschnig

jbmc/src/janalyzer/janalyzer_parse_options.h

@@ -130,7 +130,7 @@ class optionst;
   "(no-assertions)(no-assumptions)" \
   "(show-loops)" \
   "(show-symbol-table)(show-parse-tree)" \
-  "(show-reachable-properties)(property):" \
+  "(property):" \
   "(verbosity):(version)" \
   "(arch):" \
   "(taint):(show-taint)" \

src/goto-analyzer/goto_analyzer_parse_options.h

@@ -153,7 +153,7 @@ class optionst;
   OPT_GOTO_CHECK \
   "(show-loops)" \
   "(show-symbol-table)(show-parse-tree)" \
-  "(show-reachable-properties)(property):" \
+  "(property):" \
   "(verbosity):(version)" \
   OPT_FLUSH \
   OPT_TIMESTAMP \