a splay tree implementation in c++11