Improve `vcdwrun`.
Add `dockerkillall`.