add jenkins badge