Upgrade link to GPLv2 on gnu.org to https://