fixed  a bug in concolic testing when input type is object and one of its field is a number.
reverted back annex
octane first check in as downloaded from the official website
cannot run pdfjs, mandreel, gbemu, code-load, box2d with Jalangi
Merge branch 'master' into multPaper

Conflicts:
	scripts/install.py