using simplified tags
improved extractDifferenceProfile, comments and cleaning
name change
not working
Merge branch 'master' of github.com:anoukv/SMT
remi bug fix