Mark unexplored but attempted nodes with the reason for failure.
Output graphs even for unsolved constraints. This shows the progress even when there is no new trace.
Ability to mark nodes as UNSAT.
Correct spelling mistake.
Merge branch 'feature-concolic-real-sites' of https://github.com/cs-au-dk/Artemis

Conflicts:
	artemis-code/artemis-core.pri
Fixed bug introduced in merge