README: clarify how to upgrade PETSc if necessary