[bootstrap] be nice to firewalled users, use http instead of git://
fix doxygen target