This updates the developer documentation to reflect the fact that we
stopped using CI_PRE_CLONE_SCRIPT to make the gitlab-org/gitlab CI Git
fetch workload manageable.