12% speed improvement in the recording phase of annex---optimized call to hasGetterSetter
22% speed improvement in the recording phase of annex---optimized call to Read and Write
partly removed memory leak in replay
eliminated memory leak due to objectMap
changed command line interface of replay.js and direct.js
updated README.md
moved unused scripts
fixed a bug related to concolic value tracking for defined functions.
python scripts now accept relative path to an analysis file with --analysis option
no need to provide absolute path of analysis in replay.js, record.js, direct.js, and symbolic.js
added scripts/sj.py (see scripts/testsj.py) to script various jalangi commands (see docs/commands.md) in python.
merged with upstream/master