Change license to GFDLv1.3+.