Use Docker images on Linux (if available)

[AnHeuermann]

For some releases of omc there are Docker images available.
Add an option to use a Docker image instead of running the installation with apt.

[cbu-hw]

That really sounds useful, if only for caching purposes. Saving ~2min per build sounds like a good idea! 👍