* Minor reformatting due to new warnings in GNAT GPL 2014
        * Added targets to support use of GNATPRove from project files
          and makefile generated for PolyORB-HI/Ada
Merge branch 'master' of https://github.com/yoogx/ocarina