Set git to use https in travis server