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.
Note that currently building doxygen docs from a source tarball is broken; that will have to be fixed first.