Fix ignrcas2 test to use right locale.
Merge branch 'gawk-4.1-stable'
New node in gawktexi.in.
Update copyright year in manual.
Update Finnish .po and .gmo files.
Update configuration helper files.
Sync dfa with GNU grep.
Update NEWS.
Merge branch 'gawk-4.1-stable'