libport: update.
libport: update.

commit 1e15b01bbffb30b99590de755d2589024e12cd7d
Author: Akim Demaille <demaille@gostai.com>
Date:   Thu May 26 16:44:01 2011 +0200

    MSVC: neutralize warning 4996.

        * include/libport/system-warning-push.hh: here.
        * include/libport/warning-push.hh: sort it.
        * lib/libport/damerau-levenshtein-distance.cc: use it.

commit c12bf811be03d8bf9f1d91adea5104f538210910
Author: Nicolas Pierron <nicolas.b.pierron@gostai.com>
Date:   Thu May 26 16:19:47 2011 +0200

    Add module index for libport instrumentation for GDB.

        * share/gdb/python/libport/__init__.py: New.

commit 767145876e113692907e129e49958f22fae291a7
Author: Nicolas Pierron <nicolas.b.pierron@gostai.com>
Date:   Thu May 26 16:05:30 2011 +0200

    Add GDB instrumentation for parts of libport.

        * .gdbinit: New. Enable working with source scripts.

        * share/gdb/python/libport.so-gdb.py: New. Bounce to sources or
        installed modules.

        * share/gdb/python/libport/tools.py: New. Series of tools useful for
        manipulating GDB Types and Values.

        * share/gdb/python/libport/printers.py: New. Provide GDB printers
        for boost::optional, libport::intrusive_ptr, libport::Symbol, and
        libport::Vector.

aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi