Moved developer documentation into doc/DEVELOPER.md