Replace github version of GPLv3 with gnu.org version