* resurrect analyzer benchmarks * move analyzer_benchmark to the more stable linux/android * report average rather than best result