rename license

Evidently LICENSE.txt is non-standard