Updated core/codegen to JUnit 4.11
Added a volatile field to the IR field declaration node (used in concurrency)
Added test to exercise generation of IR nodes without them being part of a complete VDM specification
Minor improvements to utility method
Added support for the try statement (for now it will be used in code generation of concurrency mechanims)
Added some tests to exercise generation of the try statement and the catch clause