added installing soot app
A lot of changes with how validation works. No longer use python
scripts.
Merge remote-tracking branch 'origin/john_version_1_wenhao_copy_for_installing_the_soot_app_for_traversal' into john_version_1
Added some updates for validation and whatnot.