What is Eid al-Fitr? Here’s what you need to know about the Muslim holiday.