Get a copy of the profiling script into the output directory

Makefile

@@ -229,7 +229,7 @@ run: buildrepo $(EXECUTABLE)
 	arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
 
 bench: buildrepo $(EXECUTABLE)
-	make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py output/klee_profiling.db
+	make clean; make; make klee; make clean; make wcet; make run; cp profiling_db_parser.py output/; cd output; python profiling_db_parser.py klee_profiling.db;
 
 define make-repo
    for dir in $(SRCDIRS); \