An overview of the Chef configuration management tool