Besides the AgenDAV upgrade, it improves the packaging - only the install
and remove scripts yet - with the following:
* download and check sources, and apply a patch to modify them
* add a specific PHP FPM pool for AgenDAV
* allow to select AgenDAV default language
* allow to extend AgenDAV configuration in a local.php file