Similar to Ubuntu 16/18, we should support both CentOS 7/8.

While at it, the wiki pages should mention which OSes are currently supported and how to add support for new OS releases.