Why Docker and configuration management tools like Puppet and Chef will coexist rather than one supplanting the other