Example demonstrating the need to analyse event sequences in certain cases.
Added script to collate a sequence of graphviz files generated by concolic mode into a single pdf "animation".
Temporary fix to use 'id' in preference to 'name'.
Fix a bug where displayed trees would be generated badly.
Update entry-point finder to support some specific examples which I want to test.
Modify search procedure to ignore concrete branches.

We can't do anything aboutconcrete branches, so it is no use trying to explore them. This hugely decreases the number of tests run in concolic mode but does not affect the results.
Add a log of the calls made to z3-str.

This is useful for debugging and for characterising the types of constraints that are being generated.
USAirways example which causes a problem.
Some more entry point refinements.
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
Merge branch 'feature-path-exploration' into feature-concolic-real-sites
More hard-coded entry points.
Fixed a concolic search bug and added a test.

Fixed a bug where the DFS would get into a bad state when it tried to explore a node which was the final leaf in the tree and failed (for any reason). It would then not check whether we were at the end of the tree and try to continue.

This seems to have come up quite a bit in the real sites testing.

Also added a test which triggered this behaviour.
Merge branch 'feature-concolic-real-sites' of https://github.com/cs-au-dk/Artemis