Baked Gratin of Scarlet Runner Beans