Green Beans With Shallots And Mushrooms