Chrome app for the cloud-based Codio IDE