A high-finesse Fabry–Perot cavity with a frequency-doubled green laser for precision Compton polarimetry at Jefferson Lab