Removed --enable-opt option from petsc.rb (redundant with the --without-debug)