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.

Also, merge !150 (merged) first.