Made sure the editor can save maps

- Editor will now save maps.
- Other editors will be notified that the map is saved, and reloads it
if needed.
- Other editors will adjust their revision numbers as a map is saved.