build_docker script:  add tty-friendly options to 'shell' cmd
build_docker script:  add tty-friendly options to 'shell' cmd

strahlex/machinekit,strahlex/machinekit,strahlex/machinekit,strahlex/machinekit,strahlex/machinekit,strahlex/machinekit,strahlex/machinekit