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.