CI: do a faster build
- Since CI is becoming very busy and slow, I'm trying to shrink the build process a bit more.
- The Docker images have more libraries pre-installed.
I'll pretend to be the master HEAD branch and do a full build to test. I will warn if I find anything wrong.