Story #3193

Updated by Tom Clegg over 8 years ago

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

 Manage tokens: 
 * 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 token 
 * Create a new token (prompt for a name) 

 Manage SSH keys: 
 * CRUD 

 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!