Add colorize.py, the tool I used to generate an OS map.