doc: Make a ZIP tarball for the HTML documentation and add its link to the sidebar

[seisman]

Description of proposed changes

As requested in #7597.

Visit https://docs.generic-mapping-tools.org/dev/ and you'll see the link at the bottom of the sidebar:

Closes #7597.

Reminders

• Make sure that your code follows our style. Use the other functions/files as a basis.
• Add tests for new features or tests that would have caught the bug that you're fixing.
• Describe changes to function behavior and arguments in a comment below the function declaration.
• If adding new functionality, add a detailed description to the documentation and/or an example.