Allow user to install their own PETSc monitors
Merge pull request #158 from andrsd/optional-monitor

Allow user to install their own PETSc monitors