Bump version namespace and remove _Rb_tree useless template parameter

[Paolo Carlini]

Hi,

On 10/05/2017 11:12, Jonathan Wakely wrote:
> Looks good to me. Paolo, what do you think about bumping the versioned
> namespace and SONAME to 8?
Sure, makes sense to me too.

Paolo.