Collaborative editing feature.

Implements a collaborative editing feature using the [differential synchronization algorithm](http://neil.fraser.name/writing/sync/) from Neil Fraser.

For the feature request of an embedded chat, which I bet will arise in a few days, our official suggestion is to create a dummy 'chat' file on the server, split the editor and start chatting here using the collaborative feature ;-).

This closes #104.

Enjoy!