use uuid.short for tasknote filenames
Having tasknotes with full uuids as filenames is (imho) cumbersome and unnecessary. This RFE is to have taskopen use uuid.short for tasknotes, still having a low risk of name-collision, but with less crazy-wide files listings.
