Client-side "post_select_workspace" event (#678).

The Workspaces module fires a "post_select_workspace" event once another workspace has been selected (interactively or
programmatically). The ID of the selected workspace is passed to the event handler.

See #678.