Merge pull request #667 from diizy/master

Monstro: very slight change to integrator code
Merge pull request #670 from diizy/master

PianoRoll: improvements for note/panning widget
Merge pull request #672 from diizy/master

Another small monstro change
Merge pull request #673 from diizy/master

Monstro: envelope bugfixes
Merge pull request #674 from diizy/master

Monstro bugfixes, again...
Merge pull request #675 from diizy/master

Monstro, PianoRoll improvements
Add new toolbutton, whatsthis, to MainWindow
Merge pull request #677 from zonkmachine/whatsthis2

Whatsthis2
Merge pull request #679 from diizy/master

PianoRoll: allow shift-right-click in addition to middle-click in vol/pa...