Ruled out html results saveing - it is not used anyway
Trash output deleted
Merge remote-tracking branch 'origin/master'
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.
Unbalanced binary exception
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
plugins are now built in one build script and plugins added as git submodule