Strategoutil

Another test release for publishing to PyPi.

What's Changed
* Move to secretless publishing to pypi by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/55


**Full Changelog**: https://github.com/DEIS-Tools/strategoutil/compare/v0.1.3...v0.1.4

Test release to see whether publishing workflow works fine to PyPi.

What's Changed
* 53 Improve build and publish workflow by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/54


**Full Changelog**: https://github.com/DEIS-Tools/strategoutil/compare/v0.1.2...v0.1.3

What's Changed
* 42 improve error reporting when uppaal fails by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/43
* 44 Build fails for python 3.7 on macos by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/45
* Correct build badge url by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/47
* 48 Add build.os to readthedocs file by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/49
* Add build.tools to readthedocs config file by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/50
* 37 Add double quotes around file paths to deal with spaces by magoorden in https://github.com/DEIS-Tools/strategoutil/pull/51


**Full Changelog**: https://github.com/DEIS-Tools/strategoutil/compare/v0.1.1...v0.1.2

Minor release with updated documentation.

Builds are no longer available for Python 3.6, while Python 3.9 has been added.

Publish v0.1.0 for ATVA2022 tool paper submission.

Reflect the move of repository in the tool's documentation.