aregex extension for gawk

WWW: https://gawkextlib.sourceforge.net/aregex/aregex.html
