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