Switched to HTTPS repo for travis dist