doxygen: update head repository URL

Official repository was moved to GitHub since doxygen 1.8.5.

See official changelog: http://www.stack.nl/~dimitri/doxygen/manual/changelog.html#log_1_8_5