smarter docker setup; nicer ps output