Update license: we are now GPLv3+.