Migrate dartium_tools from chrome branch to dart repo

tools/dartium/update_patched_files.py

Index: tools/dartium/update_patched_files.py
diff --git a/tools/dartium/update_patched_files.py b/tools/dartium/update_patched_files.py
new file mode 100755
index 0000000000000000000000000000000000000000..37e9543a49dd614b2b9f013ca5716bd22904900a
--- /dev/null
+++ b/tools/dartium/update_patched_files.py
@@ -0,0 +1,27 @@
+#!/usr/bin/env python
+#
+# Copyright 2012 Google Inc. All Rights Reserved.
+
+import overrides_database
+import shutil
+import subprocess
+import sys
+
+
+def svn_update(path, rev):
+  subprocess.call(['svn', 'up', '-r', str(rev), path])
+
+
+def update_overridden_files(old_rev, new_rev):
+  assert old_rev < new_rev
+  for override in overrides_database.OVERRIDDEN_FILES:
+    patched = override['modified']
+    orig = override['original']
+    svn_update(orig, old_rev)
+    shutil.copyfile(patched, orig)
+    svn_update(orig, new_rev)
+    shutil.copyfile(orig, patched)
+
+
+if __name__ == '__main__':
+  update_overridden_files(int(sys.argv[1]), int(sys.argv[2]))