Updated TreeLib (including introduction of polytomysolver python implementation). Small tooltip changes.