abort extension for gawk

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