Use workspace options

Author: GrahamTheCoder

CodeConverter/CSharp/ProjectMergedDeclarationExtensions.cs

@@ -173,7 +173,7 @@ private static async Task<Project> RenamePrefixAsync(Project project, string old
             for (var symbolToRename = await GetElementToRename(project); symbolToRename != null; symbolToRename = await GetElementToRename(project, toSkip)) {
                 string newName = symbolToRename.Name.Replace(oldNamePrefix, newNamePrefix);
                 try {
-                    var renamedSolution = await Renamer.RenameSymbolAsync(project.Solution, symbolToRename, newName, default(OptionSet), cancellationToken);
+                    var renamedSolution = await Renamer.RenameSymbolAsync(project.Solution, symbolToRename, newName, project.Solution.Workspace.Options, cancellationToken);
                     project = renamedSolution.GetProject(project.Id);
                 } catch (Exception e) {
                     toSkip++;