Added tools/headergen.py