Use https so travis can fetch stuff.