coq_HEAD: update to latest Git version