petsc: bump revision for open-mpi

Fixes #1511.
petsc: update 3.5.2_2 bottle.