doxygen: update head repository URL

Official repository was moved from SF.net to GitHub since doxygen 1.8.5.
doxygen: update 1.8.8 bottle.