* ocarina/resources/deployment.aadl
   ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Integrate SCOC3 platform
   - Solve autobuild issues



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5542 129961e7-ef38-4bb5-a8f7-c9a525a55882