A workspace dashboard for Cloud9