Dozens of families were clearing up storm debris tonight after a “mini-tornado” damaged around 100 houses in the Republic of Ireland.