coverage: Split off mappings.rs from spans.rs and from_mir.rs

coverage: Split off mappings.rs from spans.rs and from_mir.rs #122790