Better interface needed for selecting specific PETSc builds

[jkozdon]

There should be a default library that's used if no library is selected as well as a better interface for selecting libraries.