Export Jenkins configuration.

[trivialfis]

I recently learned that there's a Jenkins plugin https://github.com/jenkinsci/configuration-as-code-plugin that can help store Jenkins configuration into yaml files. Maybe we can use it to ease the CI management?

[hcho3]

Superseded by https://github.com/dmlc/xgboost/pull/8142