Collaborative coding environment

Students should be able to work together on a group project, and see what each other is doing, edit simultaneously, etc.

It's an open question whether this should follow a source control model, or a Google Docs style collaborative editing. The latter would probably be better, given the ease of use and lower required complexity of projects, but it's also harder to build.