put a README for the old carneades editor