Cast to stop compilation warnings.
Add option --no-IA.
Use of bool is mandatory because if no option we never go in forloop.
Improve gitignore.
Merge branch 'noIAandminiImprovements'