Added crude autobuild script that can be used to build klee-cl from scratch