Build #5:   add build/coverage badges on branch master over 9 years ago