Updated license authors and headers.
Renamed __SMACK_{assert,assume} to {assert,assume}.
Fixes #51.
Merge branch 'develop' of github.com:smackers/smack into develop