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.
Pull-Request: #780