Splay ropes

Added Splay tree operations on ropes (see [Splay tree](http://en.wikipedia.org/wiki/Splay_tree)).