merge branch profile-stdlib -- ping 2

[Silvius Rus]

On Mon, Jul 20, 2009 at 10:23 AM, Silvius Rus <rus@google.com> wrote:
>
> Hello libstdc++ maintainers,
>
> Here's my weekly ping.  Could you please take another look.  The
> latest check-ins covered:
> - Make the user interface consistent.
> - Clean up code.  Fix names, move all user-visible knobs to a single file.
> - Add test to exercise all the current diagnostics.
> - Fix documentation.  Fix user manual.  Add developer manual.
> - Fix bugs.
>
> Thank you,
> Silvius