Update to GPLv3+; update copyright notices everywhere.