Latest downloads

This version fixes two issues:

1. Simulation events not deleted, “clear events” not working
2. Bottom part of model editor panel remains blank after the panel has grown in height

Furthermore, the “seconds” option has been added as a time unit in the configuration for play out.

This is a version where editing label goes a lot smoother (faster) than before:

1. Hover events now cause only the previous highlighted object and the next highlighted object to be redrawn, instead of all objects.
2. Auto-completion is restricted to place types only.

• Added option to play out, based on the Master Thesis of Tom Verberk
• Fixes #254