update doxygen 1.8.8. update bin/doc. update binaries.