Rename LICENSE.txt to LICENSE-GPL.txt