various smaller changes in the docs space.
setting the priority of nondeterministic assignment lower than of physical units
more work on the docs stuff.
fixing the nondet_var generator
finished with the Hello, World documentation.
two new markups.
small corrections.
commented out satabs tests - now the build should be green
Merge remote-tracking branch 'origin/master'
debugging tests on the build server
added icons/verify.png to the fm analyses plugin
last stage before refactoring script.
migrated the code pointers.
a few cleanups
merged
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
migration to EAP 31-3
fixed download.xml