Base for documentation
doctool.py Script to generate doc .h files