terminal is started at the users workspace and multiple terminal instance infrastructure is constructed on the node.js side
minor bug fixes
Merge branch 'master' of https://github.com/pacaci/devcloud