Use https instead of git (fixes #11)