Add LICENSE.txt containing the GPL