Option to not use Repeat Symbol (%) in PDF exports

Derek Lee
Based on this original request: https://roadmap.beat-note.app/feature-requests/p/option-to-not-use-repeat-symbol
The user should also be able to choose whether measure repeat signs "%" are used in PDF exports, and should default to the user's current setting.