A small Bash utility to walk Jenkins' JSON API.