Easy to setup klee, based on https://github.com/antiAgainst/klee-build-scripts