Minor correction to --help text
Add Ben to the authors list
Add alert() calls to PathTracer.

It would be nice to have a more general solution at some point.
Merge branch 'feature-trace-mode' of github.com:cs-au-dk/Artemis into feature-trace-mode
Merge branch 'feature-symbolic-execution' of github.com:cs-au-dk/Artemis into feature-symbolic-execution
Merge branch 'feature-symbolic-execution' of github.com:cs-au-dk/Artemis into feature-symbolic-execution
Refactor DOM traversal as an native-function-consistency-check
..