MIT’s Great Dome restoration will add a skylight that was blacked out during WWII