Added symbolic-line-execution information to coveragereport.
Merge branch 'master' of ssh://github.com/cs-au-dk/Artemis