Arhitekturna prenova koprske stolnice v prvi polovici 18. stoletja