Removed message window from GUI: messages are now part of the graphic window, in a tile above the button bar. This is a first step in experimenting with a less cluttered UI, as decided during the workshop.