tools: add a script to push the doxygen output to freedesktop.org