Rename gpl.txt to licence_gpl3.txt