Use HTTPS url for travis.