v.1.20c

The JSON metadata has been re-written using a new (improved) python script, which hopefully should be more accurate and comprehensive.

Changes have been made to the staccato dot (now the same size as the augmentation dot); and the pedal up 'star' (which is now six-pointed, rather than eight-pointed!)

This is a pre-release, which users are welcome to test.