Add a license

in file LICENSE.txt