Disallow bad characters in source files.
Document how to match ASCII characters.
Merge branch 'gawk-4.1-stable'