TAPAAL 3.6.1

Written for TAPAAL by Jiri Srba on 2020-03-18

We are happy to announce the release of TAPAAL 3.6.1 that contains numerous bug fixes and improvements, in particular:

* highlighted constants in editor now blink

* save and load paths are not remembered separately

* fixed integration with UPPAAL verifyta engine

* loading of large nets is now twice as fast

* on linux you can start tapaal with a net as argument, on mac the icon is now dropable.