Update xalloc.h for pending merge with dfa.
Start on gawk manual updating.
Merge branch 'gawk-4.1-stable'