Manpages of davix-dev in Debian stretch