Ansible или Salt, они заметно проще, чем Puppet и Chef, особенно если зоопарк дистрибутив (ибо оба по сути ssh + bash скрипты). Но это разумеется не php, т.е. конечно есть вроде как вебморды для них, но они стоят денег, да и смысла в них на таком количестве машин имхо никакого нет, ставишь виртуалочку под это дело, разбираешся с синтаксисом и вперед.