Add awk script to number lines received from stdin, writing to stdout