Add single.py script to generate a single header of a module.