Description of IF toolset

######### SNIP

Name: IF toolset description
Description: This is a description/evaluation of IF toolset used by Telecom-SudParis in openETCS project.  As we replaced SPIN by IF, I changed file spin.tex in folder O7-2-1_VnV to if.tex and put the description/evaluation into.
Gist URL: git@github.com:nhnghia/toolchain.git
Cryptography: No
Author(s): Self

I hereby declare that I accept to contribute following the openETCS terms of use and the openETCS IP policy.

http://openetcs.org/termsofuse

https://github.com/openETCS/ecosystem/wiki/IP-Policy

######### SNAP