added icons/verify.png to the fm analyses plugin
small improvements of FM analyses and a first draft of the documentation in tutorial about the variability verification
Merge remote-tracking branch 'origin/master'
fixing the build