A proxy server for CentOS packages