API documentation as HTML

[PhilippWendler]

We might want to provide API documentation in a nicely readable way, at least for those parts of BenchExec where we expect others to call the API (at the very least, for the tool-info module).

Multiple projects exists that support this, e.g., pdoc, sphinx, and pydoc.