Olav den hellige på Vestfronten, Nidarosdomen