Initial html instrumenter
main file added
Correct order of imports
Use HTML specific serializer:
Remove whitespace noise
use package.json to install node dependencies.  Fixes #1
Merge branch 'master' into multPaper

Conflicts:
	scripts/install.py
patch to handle implicit undefined return from a constructor
fixed  a bug in concolic testing when input type is object and one of its field is a number.
Add testcase for escape via property of object in higher scope chain position
Bug fix where annotate was accidentally called with a stackframe object(!!)
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
Fix wrong test case
Fix bug with declaration of special var "arguments"
Handle function literal and scope chains properly
Print output when failing testcase
Test escapement via "this"