Notre Dame roof repair to include pool on roof