Also change the profiling script to use the last test

But to not trust the symlink

profiling_db_parser.py

@@ -120,9 +120,15 @@ def ktest_setdata(filename):
 
 
 def ktest_iterate():
-    """ Iterate over all files ending with ktest in klee-last folder """
+    """ Get the list of folders in current directory, sort and then grab the
+        last one.
+    """
+    dirlist = next(os.walk('.'))[1]
+    dirlist.sort()
+    directory = dirlist[-1]
+    print("Directory: " + directory)
 
-    directory = "klee-last"
+    """ Iterate over all files ending with ktest in "klee-last" folder """
     for filename in os.listdir(directory):
         if filename.endswith(".ktest"):
             file_list.append(os.path.join(directory, filename))