Fix docker

pipeline filed, while building docker image

make install still expected some auto generated .h file, which is no longer present

I also improved the Dockerfile a bit, by incorporating ideas from dibdocker