2014_02_20 - MASTER

[PINTOOL]
- implémentation BSF et BSR (sans traduction en formule SMTLIB)
2014_20_02- MASTER

[PINTOOL]
- ajout instrumentation XADD (sans fonction d'analyse)