Performer's pressure options tidied up.

The options relating to aftertouch and channel pressure have
been unified. This was quite simple, requiring only some
refactoring in Controls.js and replacing the text
"aftertouch" by "aftertouch/channel pressure" on the main
options form.
Merge commit '0d45911cc34694061b035bdf3207c220a42f39e1'