simple script to build \& use klee easily