Version 0.1.2 released

The the seventh release is out! Like I promised, this release contains a vast number of improvements to the editing-side of the engine. Existing editors were improved and a new editor was added for editing the contents of your game. There are also quite a lot important performance and stability improvements, and a few new game features.