To generate the python API documentation for the gringo module, execute:
    clingo pydoc.lp
    python pydoc-lib.py
