Start a TODO list in gawktexi.in.
Merge dfa from grep.
In forked children, set SIGPIPE to SIG_DFL.
Merge branch 'gawk-4.1-stable'