Make_packages.py is now able to build a docker container