Brings path tracer into line with 913f803.
Improved linking between PT and CR.
Added highlighting to the linked line.
Remove wrongly committed file.
Added unminimized style
Merge branch 'master' of ssh://github.com/cs-au-dk/Artemis
Missing comma (?)
Merge branch 'master' into feature-symbolic

Brings in the improvements to the path tracer and coverage report.