Take #3 (must faster!!!)
Take #3 (must faster!!!)

Include 3rd party dependencies of alternative FPSet implementations
in tla2tools.jar directly. Thus, extract to class.dir to have ANT
dist target pick them up an zip (jar) them into tla2tools.jar.
Essentially, this creates on big tla2tools.jar with all its
dependencies included, which makes it easier for consumer to run TLC
(no classpath woes).
(As a technical side note: Limiting to *.class might miss required   
resources in the future)
lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus