[PINTOOL]

- fusion du pintool CheckScore dans le pintool FuzzWin
- ajout d'une option 'taint' ou 'checkscore' pour déterminer le type de pintool à utiliser
- réorganisation et renommage des variables globales en 'g_xxxx'
- correction du traitement du syscall SetInformationFile

[FUZZWIN]
Ajout de l'option "nombre maximal de contraintes"
Le chemin vers Z3 32bits est donné via une variable d'environnement