Setup for developer documentation

This PR starts the setup for the developer documentation.

Targets #552.