I started implementing the tree_csp_solver function, which was unfinished. In particular, topological_sort and make_arc_consistent were unimplemented.

I have already implemented topological sort in #401. Once that PR gets merged, I will start working on make_arc_consistent (unless someone else has finished it beforehand, in which case, please let me know).