CircleCI: More docker flags