Add python to build dependencies for petsc.
Make sure petsc is configured with --with-debugging=false when debug parameter is set to false.
Merge pull request #438 from hashdist/johannr/petsc-fixes

petsc fixes