Antiferromagnetism of Lattice Fermions in an Optical Trap: the Dynamical Mean-Field Perspective