dot-datashield.workspace_save function

Save current session in a DataSHIELD workspace.