Use default compiler for nightly testing

Server that runs nightly tests was updated and the compiler used for
nightly testing stopped working due to missing libraries. Let's use the
distribution shipped compiler, which is new enough for NUL (GCC 4.7.2).
Fix nightly documentation build

It's no longer necessary to use custom-built doxygen.
Update expired SSL certificates (for libvirt testing)