ocsigenserver.2.5

to merge after https://github.com/ocaml/opam-repository/pull/2781