coq_HEAD: update to latest Git version

In particular, to get the fix for #3585 in the Coq bug tracker