use https to clone git respositories on travis