configuration management tool for deploying and managing servers