Download tkeden and run tests in CI.