BitBully package: A fast Python-based Connect-4 solver. Homepage: https://github.com/MarkusThill/BitBully