* gnulib-tool: Fix various comment typos.