* Minor reformatting
        * If the Execution_Platform is given in deployment.aadl, but
          unknown by Ocarina, simply assume it is user-defined and let
          PolyORB-HI/C Makefile.common makefile include
          Makefile.<platform_name>
        * Follow-up to previous commit
        * Add FREERTOS to the list of supported platform
        * Update exepected output from tests