Manpages of swi-prolog-nox in Debian wheezy-backports