start improving the editor so that it allows to change all properties of the edited world, including name and buggles
properly cleanup the world name when loading it
Various cleanups in the map editor interface, and in the file loading
first attempt at world properties edition; the world name can now be changed