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>