* Take into account git and not svn
        * Add section for gnatprove
        * Be more defensive
        * Code simplification
        * polyorb_hi-messages.ad?: code reorganization and
          simplification to suppress potential runtime errors as
          spotted by GNATProve GPL 2013

        * Updates other packages accordingly
        * Code reorganization: use subtype to remove risk of
          constraint overflow
        * Restore support for test execution for native examples
        * Minor rewriting
        * Ignore some more files
        * Update code after latest Ocarina patches
        * Minor code reorganization
        * Minor reformatting
        * Minor reformatting
        * Implement a "+" operator for string for concatenation, as
          the regular "&" operator for concatenation is not (yet)
          supported by GNATProve as of version GPL2013
        * Complete proof of the package
        * Adjust flags for GNATProve
        * Adaptations for GNATProve GPL 2014
        * Complete proof using GNATProve GPL2014
        * Partial proofs using GNATProve GPL2014
        * Partial proofs using GNATProve GPL2014