A tool for querying Minecraft servers