Provide the API via the website
The documentation of the API could be available via the website. However, the current generated HTML would not be that easy to integrate to the website. Thus, we could change the generator in order to use Sphinx as the default template could be easily adapted to the new Frama-C website design.