Re: gnulib-tool.py: Fix incorrect type hint.

[Bruno Haible]

Collin Funk wrote:
> The 'filelist' passed to
> 'filter_filelist' should be marked 'list[str]' and not 'str'.

Thanks, applied.