Adds button latching behavior, fixes levels.

PushButton now supports latch mode (presses but doesn't release) and
freezing, which prevents further press/release/lock/unlock until
unfreeze.

Launch buttons now stay depressed with the cover open on level
complete.