static void setPdbFileOption(String analyzerName, Program program, File pdbFile) {
		Options options = program.getOptions(Program.ANALYSIS_PROPERTIES);
		options.setFile(analyzerName + "." + OPTION_NAME_PDB_FILE, pdbFile);
	}
Common logic to set a manual Pdb file that the specified analyzer will find and use
when it is invoked later<p>
Each specific analyzer has a public method that calls this to supply the
actual analyzer name to make it easier for script writers to call.

@param analyzerName name of analyzer
@param program {@link Program}
@param pdbFile the file
Ghidra/Features/PDB/src/main/java/ghidra/app/plugin/core/analysis/PdbAnalyzerCommon.java