Jenkins Tools Debian container with utility packages for usage in Jenkins kubernetes builds Tools curl git gettext