LevelEditor release

As a new feature, this version includes a Level Editor with file saving support. It does not yet understand editing existing tiles, but allows placing tiles "over" them, and is completely usable if you manually handle deletions at the .json level.

Level loading in the package is broken in this version, but from compile it works (this has to do with java .jar resource loading and is will be fixed or worked around).