Nifty NullPointerException fixed

The null pointer stemmed from releasing the click too quickly when
clicking play – the signal for "mousebutton up" was apparently not
completely resolved but used things that were lost on nifty.exit(). Now
nifty is set to inore further mouse events before it exits, which
solved the issue. Closes #15