Simple HTTP server written in GAWK