petsc/init: Call MPI_Finalize only if we're supposed to
README.md: Add some missing dependencies