Green Beans with Roasted Mushrooms