Function handle_export 

pub fn handle_export(
    project_root: &str,
    format: Option<&str>,
    write: bool,
    filename: Option<&str>,
    max_evidence: Option<usize>,
    max_ledger_files: Option<usize>,
    sources: ProofSources,
) -> Result<String, String>