Name change, as PETSc may be one of several backends in the future. Shuffled some functions around to petsc.c and geomview.c.