Use https

Fixes #1