Doxygen with Github Actions and Pages.

Now updated from the nightly build.