Merge pull request #17 from SRI-CSL/master

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