Rico-Jump: v. 0.3.12 Map Editor Update

With this update you are now able to upload custom models in the Map Editor. Please see the respective Guide on how to do it. Further additions: - minor fixes for the map editor - added a help-message to the map editor…