[PATCH v3 00/13] use gnulib more heavily

[Tom Tromey]

Here is version 3 of the gnulib series.

Version 2 is here:

    https://sourceware.org/ml/gdb-patches/2013-11/msg00123.html

I'm checking this version in.
Built and regtested on x86-64 Fedora 18.
I also built it with the mingw cross tools.

Let me know if there are any issues.

Tom