TAPAAL 3.5.1

Written for TAPAAL by Jiri Srba on 2019-04-23

TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI
introduced in the 3.5.0 release and it also fixes trace generation
issue in the untimed verifypn engine.