Made SourceAndNotation and documentURI optional as they often aren't available. fixes #138 fixes #140
Corrected the type of versionTag fixes #133
Merge branch 'master' of github.com:cts2/cts2-specification