Added a listener to track down redstone pulses
Bug fix: Internal error when deleting the mine
Merge remote-tracking branch 'origin/master' into dev