Added ability for programmer to specify program arguments
Merge pull request #11 from klee-web/args

Added ability for programmer to specify program arguments