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.