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