[python] kill unused --android-harness option

Summary:
The python scripts support this option but don't do anything with it. Note:
This doesn't remove support for android harnesses.

Reviewed By: sblackshear

Differential Revision: D5501019

fbshipit-source-id: 14c4e3f

infer/lib/python/inferlib/analyze.py

@@ -46,11 +46,6 @@ base_group.add_argument('-nf', '--no-filtering', action='store_true',
                         help='''Also show the results from the experimental
                         checks. Warning: some checks may contain many false
                         alarms''')
-
-base_group.add_argument('--android-harness', action='store_true',
-                        help='''[experimental] Create harness to detect bugs
-                        involving the Android lifecycle''')
-
 base_group.add_argument('--pmd-xml',
                         action='store_true',
                         help='''Output issues in (PMD) XML format.''')

infer/src/integration/Driver.ml

@@ -274,7 +274,6 @@ let capture ~changed_files = function
              -> ["--blacklist-regex"; s]
             | _
              -> [] )
-          @ (if not Config.create_harness then [] else ["--android-harness"])
           @ ( match Config.java_jar_compiler with
             | None
              -> []