Many a time Ctrl+C sigint does not terminate a container. We must be able to manually shutdown container by id. Basically expose main docker commands like
docker ps
docker stop id
docker kill id
and change them to cerebrium ps, cerebrium stop and cerebrium kill.
This must be added to cli.