Concolic benchmarking: Add flag for symbolic triggering to make input values symbolic only after they have been injected.
Consistent formatting for tests.py
Concolic benchmarking: added statistics and tests for all the currently implemented feature flags.
Merge branch 'master' of github.com:cs-au-dk/Artemis

Conflicts:
	artemis-code/tests/system/tests.py