CI: tag the docker images correctly

Every docker images built from master will be pushed as
lava/lava/master:GIT_DESCRIBE

For tags, the corresponding image will be available at lava/lava:GIT_TAG.
2 files changed