A collaborative, web-based code editor with local build capabilities