Add developer documentation

To ease the development process in the future, we should have a documentation that is targeted towards development topics.