update CI server address in doxygen's README file