reproto documentation backend

Backend implementation that generates static HTML documentation.