Debian packaging for swi-prolog-doc