Fix license headers, add LICENSE.txt