Use https protocol for travis