Rename run_all.py so it doesn't get matched by my own regexes

This is usually a pretty sure sign that your instrumentation is pretty
borked, but meh, it's a one-off job.
Make generated LaTeX tables a lot nicer
Fold all of the scattered python logic into latexify.py

It ain't pretty, but it works.