ar on linux quite fussy about verbosity.
Merge
Merge branch 'master' of https://github.com/SRI-CSL/whole-program-llvm
Tweaking the verbosity stuff, now that it might be right.
Merge pull request #17 from SRI-CSL/master

Couple of tweaks to the -v flag to extract-bc