Editor mapsave #1935

I had trouble editing a commit for my master -> master pull request, so I am making a pull request from this branch instead.
I implemented quicksaving and autosaving for the editor session, and also replaced the message_widget and logbook dummies in horizons/editor/gui.py with real objects.