Use https to clone rather than SSH
Fixed version getter for coccinelle