coq_HEAD: update to latest Git HEAD