have sclang save bitcode on the side, if asked
version bump
some inference tests
Merge pull request #126 from regehr/infer-tests

testcases for inference
script improvements...

- support a user-defined tag for cache entries so that cache-infer
  can remember what it has accomplished if it gets killed or dies

- don't parse all LHSs by default, this was slow and wasn't turning
  up problems

- be verbose, if asked
Merge pull request #129 from regehr/bump-llvm

version bump
Merge pull request #132 from regehr/cache-dump-improvements

script improvements
Merge remote-tracking branch 'origin/master' into save-bitcode

Conflicts:
	utils/sclang.in
Merge pull request #134 from regehr/save-bitcode

Save bitcode