New print_tree builtin
* Makefile (sync): automate checking into gh-pages