Use git+https protocal to avoid firewall issues

Fixes #9