A web based, open-source code editor for collaborative programming