requested to merge 196-databased-synthesis-integration-tests-for-dcsh into develop
- Renamed data-based synthesis test cases relating to 'force'.
forcetests were about FORCE and sliding window.
- Extracted related common options in test ToolDef script to variables.
- Added DCSH to variable ordering integration tests.
- Resulting metrics are the same or better.
- Added single variable ordering algorithm integration tests.
This is the last part of #196 (closed). Next steps are part of other issues.
Closes #196 (closed)