Updated run_jenkins_compilation.sh so that cmake is now used
Add cppcheck support in CMake

Conflicts:

	src/CMakeLists.txt
Better cppcheck support with Jenkins
cppcheck.xml is produced in src/
Using ${CMAKE_CURRENT_SOURCE_DIR} is definitely a better choice as cppcheck is invoked.
ccpcheck starts from  run_jenkins_compilation.sh
Thomasthon is back
Thomasthon now has JUnit output
t2l is back in thomasthon
Bad umount status in run_jenkins_thomaston.sh
Shook test renamed thomasthon
Regression fixed in  non_regression_tests/thomasthon/test_framework.inc
9P support in non_regression suite
Cleaner "mount -t 9p" command in   ../run_jenkins_thomaston.sh