Option to not overlap notes when recording MIDI with a pedal

Nobody has claimed this yet.

### Enhancement Summary

When recording with a MIDI pedal on, pressing the same note multiple times makes multiple instances of the note overlap in time, and once the pedal releases, the results look quite messy:

What I would like is to have them be "mutually exclusive", in the sense that if e.g. C-4 is pressed once, then later pressed again, the old note is released in the same moment that the new one starts. It might not be the preferable behavior but it is, in my opinion, way easier for editing the MIDI later.

### Implementation Details / Mockup

This probably should be implemented as an option in the settings, but maybe per-instrument is also alright?

### Please search the issue tracker for existing feature requests before submitting your own.

- [x] I have searched all existing issues and confirmed that this is not a duplicate.

No source files, tests, or entry points are named. Start by locating the MIDI recording and pedal-handling code, then determine where a settings or per-instrument option belongs; done means repeated presses of the same note end the earlier note when the newer one starts, without forcing that behavior for users who do not enable it.

Written by the indexing model from the issue text.