Append -dev to Docker image tags unless we are building a git tag

This avoids overwriting r.g.s.c/p/s/s:0.20210126.1-0 with subsequent builds that come from the same Proton version.

The :latest tag will still be overwritten every time.

---

/cc @rbernon