Format the axis labels nicely

Matplotlib comes with its own TeX engine, so we may as well make use of
it to make the plots look better.
Read filenames from the command line