[Patch] Uglify std::copy/copy_backward helpers

[Paolo Carlini]

Paolo Carlini wrote:

>Hi,
>
>long standing (HP / SGI) issue
>
To be fair, only 'copy_n' dates back to the original STL, an extension
facility nowaday, the other 2 non uglified names are a more recent problem.

Paolo.