Did anyone use these tools (puppet, chef, ansible, salt or cfengine)? Which one is the best to manage your hosting server? and why? please share pros and cons of each one. Thanks!