[petsc-dev] --download-ptscotch

[Stefano Zampini]

It seems that —download-ptscotch is broken right now, since the code repository 
on gforge.inria.fr is not accessible anymore as an anonymous user.

Stefano