#196 Renamed data-based synthesis test cases relating to 'force'.

Changes:

• Renamed data-based synthesis test cases relating to 'force'.
  • The force tests were about FORCE and sliding window.
  • Changed _force_ to _algos_.
  • 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)