Merge: Splay ropes
authorJean Privat <jean@pryen.org>
Tue, 15 Jul 2014 20:19:25 +0000 (16:19 -0400)
committerJean Privat <jean@pryen.org>
Tue, 15 Jul 2014 20:19:25 +0000 (16:19 -0400)
Added Splay tree operations on ropes (see [Splay tree](http://en.wikipedia.org/wiki/Splay_tree)).

Pull-Request: #532
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Jean Privat <jean@pryen.org>


Trivial merge