Better Real-Time Engine

I just released some major changes to algorithm that enables real-time collaboration. Collabedit now uses Operational Transformation instead of diff/match/patch.

This change should make co-authoring much smoother than it was before. Prior to this change, edits were sometimes lost when multiple people typed at the same time. This should no-longer be a problem.

I also added a time slider to the history page.