gawk: version bumped to 4.1.0.
Merge pull request #331 from Florin65/edit

gawk: version bumped to 4.1.0.