Clean more tests

Some improvements in misc/jenkins and tests/tests.sh

Also, disable a lot of lib/ and contrib/ programs.
There is currently no point to compile them in all engines since most do nothing or are not executable.

The validity of all modules is now tested thanks to misc/jenkins/listnit.sh (warnings, units, metrics).
Thus it is no more the job of tests.sh to look after them.
Documentation is wrong. Copy-paste mistake?