Add Dockerfile to this repo
There seems to be an official Docker image for KiCS2 on the Docker Hub: https://hub.docker.com/r/caups/kics2
Maybe we could place the corresponding Dockerfile in this repository to make it easier e.g. to update it in sync with the compiler?