Traceability extension for Sphinx documentation generator