MAScriL: mouse events should be deactivated while loading

[hgrf]

...in order to avoid accidental launch or re-load

I think this is difficult to sort out because even when the buttons are deactivated, they will be fed by the (OS?) event loop once re-activated.