A small proxy for generating shields.io badges from Jenkins APIs.