Clean Up a Workspace's Resources

When a workspace is no longer in use, elimintate it using the manager-destroy-workspace c8_client command.

c8_client [--config=<config file>] --cmd=manager-destroy-workspace
    --server-uri=<server-uri>
    --workspace-name=<workspace-name>
    [--unload-programs-flag=<unload-programs-flag>]

This command should be on a single line. It is split across multiple lines here for readability.

This command takes the same parameters as the manager-create-workspace takes.

Parameter	Description
server-uri	The URI of the server.
workspace-name	The name of the workspace.
unload-programs-flag	Indicates whether to unload the program from the workspace.