Possibility to disconnect workspaces

add a button that allows the user to disconnect from a workspace

(from redmine: issue id 1309, created on 2013-05-06 by root, closed on 2013-12-18)