Add python-dev to dependencies for the Debian packaging