Added the unminified style
Started development of better testsuite for symbolic expressions
Made the pathcondition available from the stdout
Will now test files in folder, need option for iterations?
Merge branch 'symbolic-tests' into feature-symbolic
Not creating tests from files starting with _