TAPAAL 3.9.1

Written for TAPAAL by Jiri Srba on 2021-11-23

We are glad to announce the release of TAPAAL 3.9.1 that includes:
* numerous bug fixes,
* improved export to tikz,
* rearranged example nets with a few new nets, and
* new versions of all three verification engines.