Mean-field optimal control as Gamma-limit of finite agent controls