Start migrating TexTool.
TexTool mostly migrated, some bugfixes pending.