No commit message

AVATAR: creation of CryptoBlocks

AVATAR: Update on composite transitions

AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL

AVATAR: Support for TIMER type (draft) 

AVATAR: random operator added

Possibility to select - as an option and in the config.xml file - the port number used by the launcher

Optimization of AVATAR Specifications