add CentOS 7 RPMs for the 0.12.1 release

This was done by merging 01fde85 and 0037e0e on the 0.12.1 tag. The
chroot environment was then freshly recreated and the build for
centos-amd64 was generated. Requested in #1992