Initial Commit to add class diagram documentation and files useful for verification of libraries
updated comments to help with use of the files in verification
Merge pull request #5 from PolicyStat/timaeudg-verification-docsUpdate

Adding basic Class Diagram docs & some useful files for verification of the tools