Page overlays are now created lazily.

Rather than keeping around overlays for pages which have not been drawn
on, overlays are only created when a user draws on the pages.
Added handling for different PDF versions.

The PDF exported from a source PDF now uses the same PDF version as the
source PDF.
Added a key binding to go to the top of the page.