Disable DOM edit distance detector because of high memory usage
Use the proper abort sequence, removes a race condition
Add timeout to Artemis test harness
Fix segfault
Disable concolic output and solver by default
Force shutdown using exit...
Merge branch 'feature-symbolic-target' of github.com:cs-au-dk/Artemis into feature-symbolic-target

Conflicts:
	artemis-code/src/artemis.cpp
	artemis-code/src/runtime/options.h
Improve precision of visibility analysis