Added ConcurrentHoudini project to the solution file.
Added ConcurrentHoudini project to the solution file.

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral