Add a Print button to HTML output (fixes #2).