Add symbolic evaluation for erlang:'/'/2
Bug fix in log generation

Affecting the tests of erlang:'+'/2,'-'/2,'*'/2
Fix the spec of json_to_term/2
Properly set the name of the app to CutEr
Add the -nn flag to dialyzer