Update RedHat packaging for 3.1.0 release