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