Improvements of the gui

This pull request includes improvements of the gui. Numerous bugs were fixed (e.g. NullPointerException when clicking a button; missing update of gui when deleting a layer, improved error handling etc.) and the workspace section was extended by the functionality of creating new workspaces.