Add gawk-4.0.2

Cannot fix 4.0.1
Merge branch 'master' of http://github.com/FanWuUCL/GImalloc