Added ability to begin and end trace recording from within the demo mode.
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration
Added extra information to the manual mode.