Batch export multiple notes into one PDF

Allow exporting all notes from a single day, or a user-selected set of notes, into one combined PDF instead of only sharing individual notes. The current per-note PDF export makes the pen impractical for daily work where the app contains many one-liner notes that all relate to the same text.