Documentation: removed developer's guide (was moved to github's wiki). Removed a few doxygen configuration options.