Add support for atomics and counters (new BIFs officially available in OTP 22)

[aronisstav]

Is your feature request related to a problem? Please describe. In OTP 22 new BIFs that can be involved in races will be officially introduced. They are available already in OTP 21.2

Describe the solution you'd like Concuerror should be able to execute code that contains them and reason about their race dependencies

Describe alternatives you've considered TINA.

Additional context Epiphany after attending @garazdawi talk in Code BEAM SF 2019.

[essen]

Running into this. Ranch has started to use counters and as a result I get the atomics error:

* Error: Concuerror does not support calls to built-in erts_internal:atomics_new/2 (found in atomics.erl line 44). If you really need this functionality, contact the developers.

[essen]

Hello! Any chance this can be solved in the near future? And alternatively, could there be a flag to ignore such errors and treat them as non-racy functions so that the rest of the code can be analyzed?