Prepared the codegen test execution system to handle the RT dialect
Added RT test and test case with concurrency enabled
Made the specification test case more flexible. Now the dialect is not forced to be VDM_PP
Added support for code generation of the async keyword based on collaborative work with Miran

The commit also adds a test demonstrating async op calls incrementing a counter