[petsc-dev] Update of OpenMPI

[Dave Nystrom]

Now that mpich has been updated, would it be possible to update OpenMPI to
the latest stable release, openmpi-1.8.3?

Thanks,

Dave