Specify ports names

When the developer calls ports instanciation, he can specify a port name. For that reason, the kernel must know the name associated with each port.

This information is provided by the pok_ports_names declaration. It contains the name of each local port.

There is an example of a such declaration.

   char* pok_ports_names[POK_CONFIG_NB_PORTS] =
      {"node1_partition_secret_outgoing",
       "node1_partition_topsecret_outgoing",
       "node1_partition_unclassified_outgoing"};

When you use code generation, this declaration is automatically created in the deployment.c file.