Ticket #3819 : Permettre d'indiquer comme dépendance d'un plugin une extension PHP particulière.

Pour cela, comme on le fait déjà pour la version de PHP, on ajoute chaqque extension PHP chargée
dans les éléments procurés par le simili plugin 'SPIP', sous la clé "php:{nom de l'extension}".

Ainsi il est possible d'écrire dans un paquet.xml :

```
<necessite nom="php:curl" />
<necessite nom="php:xdebug" compatibilite="[2.0.0;]" />
```

Attention certaines extensions n'ont pas de numéro de version. Vérifier avec `php_version('nom extension')`.

Il faut adapter les messages de langue cependant pour éviter de dire qu'un plugin PHP:CURL est absent,
et du coup il y a quelques chaînes de langues en plus.

Il va falloir également adapter les chaînes de langue du plugin SVP.