Added back license.txt. Mistakenly removed before.