Revert removal of generate_debug_names.py

Looks like the AWK script submitted straight-up doesn't work (serves me right
for merging a pull request without testing it first). I don't know AWK, so I'm
going back to the one I know. Systems that don't have Python installed can
install Python.