Fix Polygen Name
Created by: tajmone
Last minute change before merging into official distribution: Since today, Polygen author has announced that the official spelling is "Polygen" (and not "PolyGen", as it was often refered to in the past). So, just fixing the name where it occurs.