Log Message:
Update abcm2ps to 4.12.25.

Changes since 4.12.22:

Clash of tempo.
Clash of slurs and tuplets.
Bad place of dots in some cases of voice overlay.
Better ties between short notes.
Problems on ties at end of line since 4.12.23.
Larger space when microtonal accidental and voice unisson.
Bad ties in some last measures when %%combinevoices.
Bad annotation when semicomma after 2 backslashes.
Have %%withrefs working with %%titleformat.