Add an 'Export all' button #31
Description
It exports all notebooks and quick pages.
Optionally: To increase the speed of export process, check for each notebook: If an exported PDF exists already and its modification date is equal to the modification date of the notebook to export, skip exporting that notebook.