Manpages of python-dev in Debian jessie