contributors.sh: split lists using " and "

... and require the space after the filtering to make the filter able to
remove names.
THANKS-filter: added another Michał Górny version we've used
tool_strdup.c: include the tool strdup.h

... not the lib/ one that the tool no longer uses!