Add doc to new tool

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index a1fc506..6ee4a1c 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,11 @@
 #!/usr/bin/python
+"""
+Tool for normalizing pointers such as two runs have the same 'addresses'
+
+first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
+
+"""
+
 import sys, re
 
 if len(sys.argv)!=2: