[petsc-dev] configure should

[Barry Smith]

   ./configure should record the version numbers of all the external packages 
it was built with and keep that information in an accessible way.

   Barry