Green Bean and Wild Mushroom Gratin