Implementation of input/output labelled transition systems

I added an hierarchy for the implementation of LTS classes.
I also implemented a class for input/output LTS (as described here: http://www.cs.ru.nl/~tretmans/papers/mbtlts.pdf).