Adding augmentation dots

To obtain dotted note lengths, simply add a dot (`.') to the number. Double-dotted notes are produced in a similar way.