Change ANTs.git URL to use https