Move bots/hole_bot into new pbotlib package.
-rw-r--r-- 6 .gitignore
-rw-r--r-- 405 README
drwxr-xr-x - bots
-rw-r--r-- 457 combinations.py
-rw-r--r-- 7236 deck.py
-rwxr-xr-x 2850 pbot.py
drwxr-xr-x - pbotlib
-rw-r--r-- 20263 table.py