Merge remote-tracking branch 'karpeev/petsc-3.5' into patched