Mention CentOS 7 repo in documentation