New Upstream Snapshot - coq-hierarchy-builder

Nothing to do for coq-hierarchy-builder