Some scripts for building docker images [ci-skip]