Merge remote-tracking branch 'karpeev/petsc-3.5' into v0.9.3p