Use https links to google groups


Access to google groups http urls recently started failing
with 404 errors.  Google wants us to use https.