fix a bug where the Clang pass aborts compilation upon solver timeout
Merge pull request #25 from regehr/timeout-fix

fix a bug where the Clang pass aborts compilation upon solver timeout