Rename "Workspace Behavior" to "Workspace"

Related to #15.

The word "behavior doesn't add any meaning here. "Workspace" on its own
is still not a terribly amazing string, but all else being equal,
shorter is always better.