Fix of the CentOS installation for 4.0

Fixed the CentOS installation for 4.0 by pinning the gitlab-centos script to the 4-0-stable branch instead of master.