Added a note as regarding the generating list of the binary octohedral
group D and added a generator. Also removed a library check in gen_GDsubgps
that was always loading a library a second time (because IsSet(T) always
failed). Probably other minor edits were made as well.