Pirate Autoconf and CVS Autoconf

[Akim Demaille]

Hi!

I'm sorry for people who don't read autoconf-patches, there's a news I
should have sent before:  we have caught up the difference between CVS
Autoconf and FTP Autoconf.  The latter has been removed, and people
who really depend a ultra-new Autoconf are encouraged to check out the
CVS one.

We know it will not pass all the tests, a patch is waited to be
committed, but this failure is minor (it is the test which is actually
wrong).

        Akim