Add some command line options to security analyser

This is needed for --java-max-input-tree-depth for the EVS test

Author: Owen Jones

src/driver/sec_driver_parse_options.cpp

@@ -450,6 +450,7 @@ void sec_driver_parse_optionst::help()
     "Java Bytecode frontend options:\n"
     " --classpath dir/jar          set the classpath\n"
     " --main-class class-name      set the name of the main class\n"
+    JAVA_BYTECODE_LANGUAGE_OPTIONS_HELP
     "\n"
     "Program representations:\n"
     " --show-parse-tree            show parse tree\n"

src/driver/sec_driver_parse_options.h

@@ -40,8 +40,8 @@ class optionst;
   "(local-value-set-analysis)(show-value-sets)(lvsa-function):" \
   "(security-scanner):" \
   "(rebuild-taint-cache)" \
-  "(lazy-methods)" \
   UI_MESSAGE_OPTIONS \
+  JAVA_BYTECODE_LANGUAGE_OPTIONS \
   // End of options