Create Docker images

Let's start simple:

• Create Docker image with latest ARM GCC compiler.
• Update documentation how to use it.
• Review Docker images in Apache NuttX pipeline. List compilers used there and expand this task.