proved tree_to_list_iterative.c
Merge pull request #883 from yilongli/prove-last-tree-example

proved tree_to_list_iterative.c