Adjust license
white space
minor
minor for license
minor
Add header for test
minor
merge
minor
Merge pull request #169 from runtimeverification/license

License