Function extract_target_triple 

pub fn extract_target_triple(args: &[String]) -> Option<String>

Pull the value passed to --target (or --target=...) out of a rustc argv. Pure helper — same shape as extract_crate_name in the shim.