bukit-style minecraft server w/ plugins written in python