[PATCH][libstdc++-v3 parallel mode] Uglification of internal identifiers

[Paolo Carlini]

Hi,
> Okay, so if nobody objects, I will commit the patch I have so far
> (respecting recent other changes), then do some left-over detail
> renamings, then convert the tabs to spaces and take case of the line breaks.
>   
first, thanks for this work. I don't know exactly which is the current
status, just noticed that some names are still not uglified, is that
being worked on? For example, BinaryFunction1, BinaryFunction2,
parallel_unbalanced, sequential_tag, traits_type1, traits_type2,
traitsi_type, value_type1, value_type2, iteratorf_category,
count_minimal_n, default_parallel_tag, balanced_quicksort_tag,
iterator1_traits, iterator2_traits, max_element_minimal_n, unary_op...

Paolo.