Templates updated for the new version
First changes done:
- structures updated
- templates updated
- RMA updated
- composition updated
REOIMCimc makeover
- added reduction via request arrivals on mixed ports
- added non-determinism cleaning
IMCREOimc makeover continues

- Added method to remove transmitting transitions that are not in the
correct order
Removal of undesired requests completed, but it misses the removing
undesired IT...
IMCREO makeover

- Practically all problems solved
- added method to remove undesired transitions
Solved part of issue #8

added defintion of state offers data and implemented the notion that
from the initial state an IT can only occur when there is data and the
actions of the IT are all internal...
tests update
only tests...
corrected double synchronisation problem

- also changed the non-determinism cases
Merge branch 'LVL2Composition' into IMCREOExtremeMakeOver
Extreme changes on the IMCREO project...
added support for exportation into IMC
add support for output

- toIMC
- toRMA
issue #7 closed with this commit
Merge branch 'IMCREOExtremeMakeOver'