mantis 3406: implement deleting workspace