KAR Auction Services says, at its core, it’s really a tech company. Leadership from the Carmel company and subsidiary TradeRev talk tech and a new $80 million headquarters.