Rename all.sh to klee.sh, make all.sh a driver of klee.sh and klee-coreutil.sh