Switch to PETSc naming for solver options

We already use PETSc options names in Firedrake, and since it's the only
linear algebra backend we support just use the PETSc names
directly. This way, it's much easier to adjust to PETSc option name
changes (or new options appearing), they're already supported.