petsc 2.4 release week of Dec 1.

[Barry Smith]

   I'd like to see the petsc 2.4 release during the week of Dec. 1 so  
lets
all start checking nightly builds and fixing/reporting all problems  
that come
up.

    Thanks

     Barry