Use https github links. Fixes #539.