A tool for searching ArcArc, the Arcade Archive