Use https:// instead of git:// for travis