⌂ Changing \flageolet mark size

To make the \flageolet circle smaller use the following tweak.

As of 2.23.12 the \flageolet is smaller by default, thus this snippet will be deleted with next LSR upgrade.