Found a handful of other URLs that weren't https-ized, so I updated
them, too (after verifying that they support https, of course).
Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
Useful when debugging RTE-related issues
Not for inclusion in the tarball - just added to git repo for use by
developers.
Signed-off-by: Ralph Castain <rhc@pmix.org>