Implemented multi-tape projection and intersection. Added tapes() method
to MTAutomaton interface.
Towards concatenation.