Adapted the test framework to work for the codegen plugin and added a test for expressions. In addition, som structural changes have been made that enables easier use of the plugin through utility functions.
Added VDM specification testing and improved on the current expression testing for the codegen plugin. In addition, some minor structural changes to logging have been made.
Added some tests
Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj-codegen
Minor corrections for the codegen ide part
Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj-codegen
Merge remote-tracking branch 'refs/remotes/origin/astv2-jwc' into astv2-pvj-codegen
Added work on equals expressions and initial work on functions

In addition, Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj-codegen
To fix some code that was accidently committed on previous commit
Added support for functions
Updated class template and the impact it had on test results. In addition, a test case for function generation has been added
Merge branch 'origin/astv2-pvj'
Fixed version numbers in order to make codegen-branch build after merge
Made codegen plugin Java 7 independent
Added missing dependency and copying of it
Removed used of velocity property file
Added TODO for setting the VDM release version
Restructured OO ast and added code generation for records
Added dependency analysis for sequences
Added code generation of records