add a README for dev-tools directory

diff --git a/dev-tools/README.md b/dev-tools/README.md
new file mode 100644 (file)
index 0000000..5630d40
--- /dev/null
+++ b/dev-tools/README.md
@@ -0,0 +1,7 @@
+This directory contains various tools for developers.
+
+# Format
+
+The `format` script format every C++ or Python in the current directory and its
+subdirectories. See docstring header of `format` and `format --help` for more
+information.