update license for GitHub distribution