added license information
changes from tisch-merge branch, mostly result of comparison with
syntax trees.
Merge pull request #1 from morphgnt/master

Updating my sblgnt fork