Passage en curl_exec() à la place de exec('curl...')

Passage en curl_exec() à la place de exec() d'une commande curl pour éviter d'être bloqué par les restrictions sur exec(). Si besoin on pourrait imaginer que le choix exec/fonction php puisse être déterminé par une option de la commande + défaut (à argumenter parce que ça fait pas mal de complications pour un outil qui est utilisé en one shot...).

Intègre aussi le patch de RealET pour la création des dossiers de cache.

A priori OK pour Windows + gitbash