Add list of available terminals in the dashboard
Only display terminals in dashboard if terminals are available
Show terminals as terminals/name

Bigger click target
Merge pull request #6828 from takluyver/terminal-list

Add terminals tab to the dashboard