dot-datashield.workspace_restore function

Restore a saved workspace in the current DataSHIELD session.