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