Update build badges to point to new Jenkins instance#742

amadio wants to merge 1 commit intoroot-project:masterroot-project/root:masterfrom

amadio:update-build-badgesamadio/root:update-build-badgesCopy head branch name to clipboard