robomap3-toolchain-docker-CI

create docker images with robomap3 toolchains installed inside

images are pushed in the registry and used by other repos' CI