Remove obsolete GitLab OAuth settings

I went through all the settings for doc!108 (merged) and found that we still had the gitlab settings, even though they are no longer used since !2210 (merged). That MR had removed the Django settings but not the YAML config options.