Make the PDF a download and provide a dialogue so people know what's happening.

Fixes #13.