Make sources in separate CI jobs
Note that currently building doxygen docs from a source tarball is broken; that will have to be fixed first.
Edited by Leo P. Singer
Note that currently building doxygen docs from a source tarball is broken; that will have to be fixed first.