jrnold/example_game_trees_with_tikz not found