Green Beans with Wild Mushrooms and Crispy Shallots