License everything properly under GPLv3