Function project_data_destination 

pub fn project_data_destination(
    project_root: &Path,
    rel: &Path,
) -> Result<PathBuf, String>

Check a destination <project>/.lean-ctx/<rel> without writing it.