Merge pull request #613 from jsha/https

Move some URLs to HTTPS.