[XS] Change in osmo-hlr[master]: jenkins.sh: Use --disable-doxygen configure param