Cafeteria: expanded vegetarian and halal options

Menu boards and online ordering have been updated with allergen icons. Special dietary needs can still be submitted 24 hours in advance.