Function write_prelude 

pub fn write_prelude(src_dir: &Path, ctx: &CodegenContext)

Write src/prelude.rs, keeping only the entries whose feature exists in this generation (a feature no module maps to would never compile).