Upcoming petsc-3.5 API changes.
Use terser PETSC_RELEASE_LESS_THAN macro.
Merge branch 'dmitry_3.5'