Add a dialog to the pitchbend editor to allow inserting points with precision,
based on the pitchbend setting of the plugin to set the value in semitones.

Gratitude to Mr. Kris Weston, as it was his idea...