Add possibility to mute a user track via the Mute rhythm parameter

[jjazzboss]

Implementation would require too important changes for such a small feature.

Also 4.0 brings the new embedded Midi editor, which makes it much easier to delete a user track notes corresponding to a given song part.