A web-based SSH console for OpenShift