initial add of the gawk-4.1.0 (May 2013) source code