Added bytecode granuality to the coverage report (When available).
The coverage does rely on pretified code in the sense that the assignment of a on-line codeblock to a variable will color the whole codeblock.
Issue #33, Issue #36
WebKit patch related to bison: https://bug-92264-attachments.webkit.org/attachment.cgi?id=154643
Add prettify proxy

Fixes #39
Rename ailproxy folder to proxies
Merge branch 'master' of github.com:cs-au-dk/Artemis
Improve the INSTALL file
Linked the path tracer with the coverage report.
Merge branch 'master' of github.com:cs-au-dk/Artemis
Merge branch 'master' into feature-symbolic