MineCtrl: A Websocketification of the Minecraft Server Console