Latest downloads

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