try tp deduplicate PCs
use a ranged for loop; sorting the vector didn't seem like an improvement
unless I'm missing something...
add option to echo the checked replacement
Merge pull request #73 from regehr/souper-check-print

add option to echo the checked replacement
Merge pull request #71 from regehr/pc-dedup

deduplicate PCs
Fix build
a script for invoking souper

for my locla use only
also accepts an .ll file
tweaks