Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif

modified signals name and associated channels (no join signals). added signals for CPs. interfaced CPs and processing operations for scheduling. started to add error checking. differentiated between architecute units MEC and operations MEC

added task MEC to list of operations. Before to start using the list of Operations for the code generation.