Add deployment of built docker image to `quay.io`, also extending corresponding documentation.
Add deployment of built docker image to
quay.io, also extending corresponding documentation.