adding jenkins badge