A Jenkins command-line tool