GitDoxx - Real-Time Collaborative Documents with Version Control