Design `concurrency` dialect

[xlauko]

It should provide a generic concurrency primitives as mlir types and operations on them.

The goal is to unify concurrency in posix pthreads and c++ standard library to model things like critical sections.

For start the dialect should provide mutex type and lock, unlock operations.