petsc: Add formula for PETSc scientific library

Fixes #49