Make the ARTEMIS define explicit, such that newer versions of Qt Creator can detect it correctly
Refactor the statistics reporting for the concolic mode.

Removed a bunch of hacks where we would double count statistics and then remove the etra counts in the trace merger.

Also added reporting of the success/failure of traces, and how many unsat/unsolved/missed nodes were seen.

Finally added reporting of how much symbolic information was seen during the event sequence part of the tree.
Merge branch 'master' of github.com:cs-au-dk/Artemis
Merge branch 'master' into feature-select-element
Remove some debug info from output.
Add statistic for [wall] time spent in solver.
Make the form restrictions emit the minimum amount of constrints required to cover the variables used in the PC, instead of emitting all form constraints on every iteration.
Align marker nodes in graph output.
Merge branch 'feature-select-element' of github.com:cs-au-dk/Artemis into feature-select-element