- fix: "abstract interpreter" and "maximise model coverage" are now taken from advanced.conf by rtt-mbt-tcgen
- fix: added parsing of max_steps.txt and assignment of respective parameters to generate-test-command