Generate GraphVis graph of traces and view them in demo mode.
Temporary fix for issue #63.
Add image viewing widget to GUI mode to display the trace graphs.
Basic improvements to demo-mode graph viewer.
Clean up unused concolic code.
Clean up unused concolic code.
Clean up unused concolic code.
Added DFS search procedure.

This compiles ok, but I have not tested it until there is a bit more infrastructure in place!
Maybe would be good to create some sort of test harness for some of the differetn components...?
Add source indication to all symbolic values

A symbolic value now contains a "source" describing its origin. E.g. if the symbolic value flows from a input element, then this will be indicated including the name or id of the element.

Currently, only form inputs are supported and only id and name attributes are used to identify these. Thus, we assume that all input elements can be identified uniquely by one of these.

A warning will be printed if no name of id is given to a form element. However, if id or name is not unique the behaviour will be nondeterministic.
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration
When building a PC from a trace we need to continue through concrete branches.
Search procedure now gives a PathCondition as a result.
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration
Missed some of the refactoring in DepthFirstSearch.
Fix for #66
Small bugfixes in our Kaluza integration
Add the Z3 and Z3-str solvers
Add symbolic conditions to graphical traces.
Remove wrong version af Z3
Add correct (4.1.1) version of Z3