Minecraft Server Manager in PHP using SSH2