Use GPLv3+.

Change license to GPLv3+; refine library headers.