Make CI builds easier to identify

Make it easier to find out if one is running a CI build and if
so which one.
4 jobs for gitrev
in 2 minutes and 57 seconds, using 0.0 compute credits, and was queued for 24 seconds