Add a README.agda (upgrade: FunUniverse, Circuits, Solvers, Game)