Gov. David Boren and educational dignitaries officially dedicated the Seminole Junior College David L. Boren Library during a ceremonial ribbon-cutting session Thursday, the city’s favorite son later …