cleaned up scripts
./script/pure is the main script for both pure and compositional symbolic execution
./script/testpuresymbolic runs pure symbolic test generation.  Some tests that are not related to strings and integers fail.
inputs inside functions for pre symbolic compositional should work
modified instrumentation so that a script execution can be repeated by returning true from J$.Sr()
uncomment in Multiple.js for looping through Sr
final jalangi-tool.tex