Logaut

What's Changed
* Update README.md by marcofavorito in https://github.com/whitemech/logaut/pull/70
* Clean up dev environment, other fixes by marcofavorito in https://github.com/whitemech/logaut/pull/316
* Windows support for Lydia docker by gallorob in https://github.com/whitemech/logaut/pull/60
* Lydia backend fixes by marcofavorito in https://github.com/whitemech/logaut/pull/319

New Contributors
* gallorob made their first contribution in https://github.com/whitemech/logaut/pull/60

**Full Changelog**: https://github.com/whitemech/logaut/compare/v0.1.1...v0.2.0

Minor fixes.

- Upgrade development dependencies to their latest version
- Improve MONA output processing ([57](https://github.com/whitemech/logaut/pull/57)),
by exploiting the fact that transitions are already deterministic and automaton is minimal.

First release.

- Synchronize with [`pylogics==0.1.0`](https://github.com/whitemech/pylogics)
and [Lydia](https://github.com/whitemech/lydia) backend at version `0.1.1`.

First alpha release.

- Support for backend Lydia and LTLf2DFA,
and translations from LTLf/LDLf
and LTLf/PLTLf respectively.