Minecraft server configuration can now be done
in config.ini