docs: add information about docker image
Description
I have added a section "Docker" and a subsection "Docker/Gitlab CI" inside of docs/installation_options.md.
The section describes the existence of the docker image at docker hub.
The subsection describes general usage of the image in gitlab ci.
I don't describe how to use the image directly, since I've not tested outside of gitlab ci and could not describe the behavior.