Garlic Tomato Mushroom Gratin