Ts-migrate: A Tool for Migrating to TypeScript at Scale