Merge pull request #14 from SRI-CSL/master

Small fix for Darwin
Merge
Merge branch 'master' of https://github.com/SRI-CSL/whole-program-llvm
Tweaking the verbosity stuff, now that it might be right.