Farro, Cherry Tomato, and Carrot Gratin