Changes

-  Added constructor to the corresponding class for record type
definitions.  This can then be called whenever mk_ is encountered. - 
Currently simply assigns values passed in to field names, but these   
must be changed to proper field assignments so that the   
transformations can work as expected.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
 (commit: 94df3d2)