Added script to allow tests to be run from within Vagrant
Merge pull request #30 from klee-web/run_tests_script

Added script to allow tests to be run from within Vagrant