Developer documentation

Documentation for developers.