fixed copoy/past error in cosim protocol version (now the value is 3.0.0 as it should be)
Merge remote-tracking branch 'origin/test' into kel/base
Added refinement law for breaking recursion into parallel recursions.
Added syntax for parallelism, channel sets and name sets.
Added refinement law for distribution of parallelism over recursion with hiding.
Fixed some issues with the syntax of channel sets and name sets.
Merge remote-tracking branch 'origin/development' into sdf
Added specification statement splitting rule.
Added copy-rule right to left.
Added syntax for specification statement.
Merge remote-tracking branch 'origin/ahm' into sdf