Add the Core Erlang interpreter /w tests
Concolic evaluation of Core Erlang