ButrManager - Lightweight Distributed Minecraft Server Manager in Python