Workspaces now added

Creation of workspaces is now possible; TODO: existing workspaces have
to be deleted if we use the same name