In the 15th century the dome was added and the naves extended back of the choir, uniting the building to the tower and forming a main entrance. When was the dome built?