Minecrell

Old Minecraft-related projects from @stephan-gh. Usually bug fixes only. :)