Function filecoin_proofs::param::add_extension

pub fn add_extension(filename: &str, ext: &str) -> String