Integrate developer documentation into web app

The frontend should build the doxygen docs and link to it.