The ConsTree documentation has moved to constree.github.io.