zips/tla-1.1.tar.gz tla is no longer supported in Axiom. Removed.

Axiom no longer supports tla source code archives.