Add ability to save results as pdf.

By default, Chrome and other browsers display pdfs in browsel. There is
now a save button that forces a download.