The number of global ports in the distributed system is specified
with the POK_CONFIG_NB_GLOBAL_PORTS. It indicates the number of
global ports in the system.
When you use code generation functionnalities, this declaration is
automatically created in the deployment.h file.
