Rename Boolean_game_tree to Boolean_game_tree.py