Changes

Summary

1. Update VDM2C CLI to accept VDM++ files (commit: 52c71f8) (details)
2. Update test file filter (commit: 443fddf) (details)

Commit 52c71f8f809ecc06c3446f568d38ea1b3d429b47 by Peter W. V. Tran-Jørgensen Update VDM2C CLI to accept VDM++ files Closes #84 (commit: 52c71f8)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 443fddfd53d204733e6ecc0b689f204086c602d6 by Peter W. V. Tran-Jørgensen Update test file filter (commit: 443fddf)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java (diff)