gnulib-tool.py: follow gnulib-tool changes

[Bruno Haible]

Hi Dmitry,

I've started to copy all modifications done to gnulib-tool since 2012
over to gnulib-tool.py. Here is the first round of such updates.
OK to push?

Most of these are not really tested, and I'm a beginner regarding Python.
Therefore it's very possible that you find mistakes in these patches.

Bruno

0005-gnulib-tool.py-follow-gnulib-tool-changes-part-1.patch
Description: Text Data

0006-gnulib-tool.py-follow-gnulib-tool-changes-part-2.patch
Description: Text Data

0007-gnulib-tool.py-follow-gnulib-tool-changes-part-3.patch
Description: Text Data

0008-gnulib-tool.py-follow-gnulib-tool-changes-part-4.patch
Description: Text Data

0009-gnulib-tool.py-follow-gnulib-tool-changes-part-5.patch
Description: Text Data

0010-gnulib-tool.py-follow-gnulib-tool-changes-part-6.patch
Description: Text Data

0011-gnulib-tool.py-follow-gnulib-tool-changes-part-7.patch
Description: Text Data

0012-gnulib-tool.py-follow-gnulib-tool-changes-part-8.patch
Description: Text Data

0013-gnulib-tool.py-follow-gnulib-tool-changes-part-9.patch
Description: Text Data

0014-gnulib-tool.py-follow-gnulib-tool-changes-part-10.patch
Description: Text Data

0015-gnulib-tool.py-follow-gnulib-tool-changes-part-11.patch
Description: Text Data

0016-gnulib-tool.py-follow-gnulib-tool-changes-part-12.patch
Description: Text Data