Manpages of cvc4 in Debian unstable