sym-files and sym-args can be given in a user-friendly way
Merge pull request #39 from klee-web/options

sym-files and sym-args can be given in a user-friendly way