John Barros, who has served as Boston Mayor Marty Walsh’s economic development chief, is formally entering the race to replace his former boss.