zipperposition doesn't compile on 4.01.0

As signaled by @avsm in https://github.com/c-cube/zipperposition/issues/1, zipperposition doesn't compile on 4.01.0. If I understood correctly opam's constraints, this should "fix" the problem until I release the next version (which is going to be hugely different anyway).