Ensure that artifacts are traceable

Currently, some artifacts are built from tarballs. As a result, users of docker images cannot know exactly which version of GHDL is included. We should add a proper identifier.

Also, we should add a test/check before pushing images to dockerhub, in order to ensure that this is fulfilled by any image that might be added in the future.