pipeline: actually kill the docker process with ctrl-c

By using '-it' to the docker process, ctrl-c is directly sent to docker
so that it kills itself and automatically cleans up.