Add missing dependencies
Force coverage report to be named coverage.html, such that we can predict the name
Add links from the symbolic execution tree to the coverage report if possible

To use this you must convert the dot file to svg.
> dot -Tsvg something.gv -o out.svg

View the file using e.g. google chrome. All branches are now links to the coverage file created if --coverage-report html
Added some test cases for select boxes in concolic mode.
Merge branch 'master' into feature-event-sequences-simple