Code refactor and Taverna style workflow outputs

Summary

Code was refactored (new interfaces were added and the existing structure was improved), the library now supports generating workflows in a format similar to the Apache Taverna (workflow management) workflows and Citation.cff file formatting was fixed and updated.

For developers

While the interface has remained unchanged, structure of the code was improved, therefore, you might have to update the paths in your APE imports (e.g., package parser was renamed to parserSLTLx, sat_impl to minisat etc.).

What's Changed

• Fix citation.cff formatting by @vedran-kasalica in #85
• Refactor code and implement the Taverna style workflow outputs by @vedran-kasalica in #86
• Fix Javadoc error by @vedran-kasalica in #87
• Update CITATION.cff by @vedran-kasalica in #88
• Update README.md - remove a badge by @vedran-kasalica in #89

Full Changelog: v2.1.8...v.2.2.0