[Travis] Trying git+https to clone the cr-design github repository