We found out with Jane @jtournois that a testsuite with VLD was a lot
slower than the same testsuite without it. That can explain why picasso
can no longer process 7 or 8 testsuites per day, but only barely 3 or 4.
Picasso will no longer use VLD, and Jane's machine, Sosno, will use it
only once per week, on Saturdays.
The configuration was already updated for a while, but not commited.
Today I have added a new platform that will use LEDA instead of GMP. And I
have disable x64_Cygwin-Windows8_MSVC2012-Debug-32bits
That commit also adds a shell script to update the local copy from the
files on picasso.