~/bin/doxygen-rebuild: script to build optimized doxygen.