Z3 docker images used in Runtime Verification

The version specified in ./version is built from source for different Linux distributions in docker images (see ./.github/workflows/master-push.yml for details).

The resulting images are pushed to dockerhub.