[Ada] Remove SPARK containers from GNAT documentation

[Marc Poulhiès via Gcc-patches]

This patch removes documentation on the SPARK containers,
now under the spark2014 repository.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

        * doc/gnat_rm/the_gnat_library.rst: Remove paragraphs about SPARK
        containers.
        * gnat_rm.texi, gnat_ugn.texi: Regenerate.

patch.diff.gz
Description: application/gzip