ci: move coverage job to debian12

src/tclap, src/xml, and cJSON are now ignored (they were previously
included, but they're vendored/external code)