TAPAAL 3.9.0

Written for TAPAAL by Jiri Srba on 2021-10-18

We are happy to announce the release of TAPAAL 3.9.0 that
* includes GUI support for the creation of LTL queries, and
* distributed a new LTL untimed engine as part of verifypn that also supports partial order reduction.