Is the GPL a copyright license or a contract under U.S. law?