Update to GPLv3, and tweak documentation