Merge bleeding edge up to 8774 into the GC branch.

tools/splaytree.js

Index: tools/splaytree.js
===================================================================
--- tools/splaytree.js	(revision 8778)
+++ tools/splaytree.js	(working copy)
@@ -191,6 +191,17 @@
 
 
 /**
+ * @return {Array<*>} An array containing all the values of tree's nodes paired
+ *     with keys.
+ */
+SplayTree.prototype.exportKeysAndValues = function() {
+  var result = [];
+  this.traverse_(function(node) { result.push([node.key, node.value]); });
+  return result;
+};
+
+
+/**
  * @return {Array<*>} An array containing all the values of tree's nodes.
  */
 SplayTree.prototype.exportValues = function() {