Docker-brew and Docker standard library

See ongoing discussion in #664