AWKward, the AWK based web server