ansi2html.sh: specify gawk as the interpreter

since we use gawk specific syntax