configure.ac now checks for the existence of PETSc libraries if
--with-petsc=yes is specified. All PETSc related code is enclosed by
USE_PETSC conditional compilation guards