jenkins.sh: Use --disable-doxygen configure paramChange-Id: I09eab54587e5d310143faaa57257fe05e4f0e7f6