Fix README.  Decomment petsc.rb.