[petsc-dev] make ./configure not a symlink

[Lisandro Dalcin]

Barry, could we make ./configure a proper file, using
execfile("config/configure.py") (actually, I'll make it a bit more
robust than that).  The reason is that symlinks sometimes cause
trouble, some versions of pip fail to install PETSc because of the
tarball containing a symlink. I've already had a report of such
failures.

-- 
Lisandro Dalcin
---------------
CIMEC (INTEC/CONICET-UNL)
Predio CONICET-Santa Fe
Colectora RN 168 Km 472, Paraje El Pozo
Tel: +54-342-4511594 (ext 1011)
Tel/Fax: +54-342-4511169