Upgraded JQueryUI
Added menu in Propers tool to select which propers to include in the PDF
Fixed some things in GabcKeyDown in jgabc.full.js