TEST: Add option to generate coverage report
Merge branch 'master' into trolled_gridworld_format

Conflicts:
	run_tests.py