Dockerfile to build a mini image with gnat compiler. Auto build on dockerhub. Beware, upload time from dockerhub-build to dockerhub-repository is veeeeeeeryyy loooooong.