Made the makefile more generic. You must set KLEE_HOME to the root of the Klee installation.