Make src2man compliant with gawk >= 5.0.1

[eribertomota]

These changes avoid:

awk: cmd. line:64: warning: regexp escape sequence `\;' is not a known regexp operator