Paparazzi UAV portability support files, scripts and tools. Needed by maintainers of the respective OS ports.