Update tla2tools dependencies