Added bibtex info, updated HERMIT-Tree PDF to note cited examples are only in extended version.