Improve the way we build our docker image
Apart from using a leaner image #1712 (closed) we need to improve the way we are building the image.
- we need to make sure that we build the docker image on every push like we do for packages.
- we need to make patching less susceptible to errors.
If we fix first, second is less urgent.