Green Bean Mushroom Gratin