gnulib-tool.py: follow gnulib-tool changes, part 2 Follow gnulib-tool change 2012-08-13 Bruno Haible <bruno@clisp.org> gnulib-tool: Fix persistence of --witness-c-macro option.