provision/docker: do not forget to exit on signal handling