some changes to interface in petsc-dev

[Barry Smith <bsmith@xxxxxxxxxxx>]

  I have just pushed some changes to the user interface
for PETSc dev in the interest of consistency and future 
extensibility. In particular

   [KSP/SNES/TS]XXXXMonitor becomes [KSP/SNES/TS]MonitorYYYY

   -[ksp/ts/snes]_xxxxmonitor becomes -[ksp/ts/snes]_monitor_yyyy

  where yyy is often the same as XXX but also may be a clearer longer 
name.

   I've also been working on the Socket viewer, if you are using that
and have problems please let me know.

  Thanks for your patience,

   Barry

Please send all flames about API changes to /dev/nulll