Document docker images on doc.opentap.io
@VivienneBenke and I just discussed that there should be a section about using OpenTAP with Docker in the online documentation. I think it makes sense to place it right after the installation instructions (https://doc.opentap.io/#install-opentap).