Porto Torres, parquet del PalaMura divorato dalle termiti: via ai lavori di sostituzione