Added an overview output during concolic mode with '-v info'.
Fixed an issue where no stdout report would be generated on crashed runs in the concolic test suite.
Fix the PC display in the concolic semi-verbose output.
Allows divergent merges to be dumped out for analysis.
Save stack trace for crashed runs in the concolic test suite.
Change error message to Log::fatal() not Log::debug(). I think this means that every exit(1) in our code includes an error visible even in -v info.
Added some more sites to the concolic test suite. These were used for the 2014-01-15 testing run.
Fix a bug in displaying regex conditions in the tree and add a test.
Fix a bug in the depth limiting in the concolic search.
Fixed test in regex-trim.html example.
Added an option for unlimited depth searching in concolic mode. Hopefully this will give some more interesting results on some of our real examples.
Fixed the new tests!
Improved debug output for unsolved or UNSAT constraints.
Fixed a bug in the DistinctTracesExplored statistic, which would not account for new branches discovered by accident.
Always keep a copy of the latest tree saved to disk for observing concolic progress or in case of crashes i the test suite.
Improved the detection of error messages in the concolic trace classifier.
Merge branch 'master' of github.com:cs-au-dk/Artemis

Conflicts:
	artemis-code/src/artemis.cpp
	artemis-code/src/runtime/options.h
Fix new test for CVC4 solver.