txt -> cockatrice converter