Add host-petsc parameters for Debian.
Merge pull request #429 from hashdist/johannr/host-petsc-parameters

Add host-petsc parameters for Debian.