Restauratie van de Sint-Michiels- en Sint Goedelekathedraal