v0.8.0 Save game edtior

A small bug fix release evolved into a major update with lots of new features. Now it is possible to use the editor also for existing save games. That makes the game fully editable, even for existing...