version bump
Merge pull request #129 from regehr/bump-llvm

version bump
Merge remote-tracking branch 'origin/master' into simple-synthesis
testcases