bulk export functionality

[dankrzeminski32]

• Exports all pdfs to a zip file
• We can adjust UI if we don't like where I put the button.