A simple awk script to generate some nethack stats.