Sync dfa with grep.
Fixes from GNULIB for Mac OS X mixed case matching.
Improvement in helpers/quoteconvert2.sh.
Indexing improvements.
Fix thousands separator problems and update doc.
Update ChangeLog for previous commit. Oops.
Merge branch 'gawk-4.1-stable'