License file, GNU GPLv3.