tag_all.sh: Skip gitlab's ci when pushing tags
Arguably there's litte value to trigger a build after pushing a tag because the commit the tag points to already triggered a build. We could re-evaluate that if Gitlabs's CI takes over from Jenkin, but for now I think it's best not to pollute the queue of the only builder with meaningless jobs.