Ghilarza, dal 3 al 13 maggio i festeggiamenti per San Michele