Add a dynamic build and coverage badge

[mzy2240]

Since we are building the coverage table programmatically, let's try to have dynamic badges for the building status and the coverage. Some refs can be found here:
https://github.com/dwyl/repo-badges
https://github.com/buildkite/dynamic-build-badges