Initial work on a score polisher.

- Note durations can now be handled as fractions instead of
floating-point numbers.
- The score polishing is currently not undoable.
- There are some issues with adjusting irregular groups, and the score
polisher still needs much more testing in general.

Bug: #78