Add export of figures

Currently one has to screen scrape to get figures to use in publications. There needs to be a way to export figures as PDF or some raster format, like PNG or JPG.  Related to that, there should be some control over fonts in the generated figures.