Initial import from coq2opam2web