#381 added jenkins build status badges properly