Question: how to add mfrc522 library?
Answer: Download the library from https://github.com/miguelbalboa/rfid.
Open Arduino IDE. Then go to and select Sketch->Include Library->Add . ZIP Library.
Choose rfid-master. zip file and click to Open.