added version 2 of octane benchmarks; adapted in-Firefox instrumentation scripts to newest Jalangi