Several changes to conform to IMC - CTMC transitions on CADP

- Option for labels being set as tau (IMCREOtool)
- Added flag parameter to AUT transformer to consider hide or not labels
- Update dependencies to AUT transformer methods
-----
- Changes to the RMA format: rate labels added between @ symbols
- Template changes for lossy and sync channels to support rate labels