Add VERBOSE=1 in the make calls in the Jenkinsfile to help debugging the build jobs in Jenkins
Changes in the main Makefile to include a "venv" and a "doc" targets The Jenkinsfile now uses only the Makefile. The CI/CI.bash shell script should not bu used anymore and will be deleted in a future commit.