Support for intrinsics cttz, ctlz, ctpop and bswap
tell sclang, using an environment var, to get Souper to print stats
add cache dump tool for raimondas
Merge pull request #78 from jubitaneja/intrinsics-final

Support for intrinsics cttz, ctlz, ctpop and bswap
Rename all flags containing the substring -souper to have -souper at the start

This has bugged me for a while. It's pretty clear at this point that we
should be more consistent about this as we add more flags.
Merge pull request #83 from regehr/sclang-stats

tell sclang, using an environment var, to get Souper to print stats
Merge branch 'master' into infer

Conflicts:
	utils/sclang.in
implement the slight variant of souper-check behavior suggested
by Peter and also test it