DoC Gitlab

Gitlab service for the Department of Computing at Imperial College London.