[docker] How to stop docker under Linux