A History of the Trace Formula