2014_02_18- MASTER

[PINTOOL]
- Variables membres en '_XX' au lieu de 'm_XX'
- Remplacement des noms de registres suivis en marquage (rXX->regIndexXX)
- Remplacement du nom de l'entier utilisé dans les templates (len->lengthInBits)
- TaintObject : ajout constructeur pour objet à 4 sources
- SEMAPHORE : ajout CMPXCHG, CMPXCHG8B, CMPXCHG16B