4.0.0

This is the first release of rocq-libhyps, adapted from coq-libhyps (which is now only for coq < 9 version and will not be developped anymore).