Some useful tools for working with Docker.