CI: directly untar the Doxygen documentation into the Doxygen directory instead of moving it afterward