ref #5: implemented recent workspaces.

Still missing the menu updating at runtime when a new workspace is
loaded.