full text of the gplv3, as per issue #4