`make coverage` generates simplecov coverage output. Can we incorporate that with CI and generate a badge on the github page with the coverage?