Removed some debug info.
Fixed the handling of core dumps in the test suite.
Merge branch 'master' of github.com:cs-au-dk/Artemis