Story #3193

Updated by Tom Clegg about 6 years ago

* VMs I can log in to: show hostname, login name, last login (if available), SSH config snippet
* Repositories I can access: name, is_writable, fetch or push-url (depending on whether it is writable) fetch/push-url, is_writable

Manage tokens:

* Current View existing tokens (default: show only named tokens)
* Expire existing tokens (but not the one currently used in this Workbench session?)
* Attach a name to a
* Create a new token (prompt for a name)

Manage SSH keys:

Update nav links:
* Add "Account settings" item linking to this new page
* Make generic "show VM index" link in the gear menu admin-only (like the Users item is now)
* If this means the gear menu is now empty for non-admins, then don't even show the gear menu for non-admin users!