gnulib-tool.py: follow gnulib-tool changes, part 7 Follow gnulib-tool change 2014-05-27 Sylvain Beucler <beuc@beuc.net> gnulib-tool: adjust translation wget to avoid a https redirection