Updates to SLEPc formula.

- conditionally depend on X11
- update name of PETSc architecture.