Add symbolic evaluation for div with positive ints
Simulate erlang:'rem'/2 w/ symbolic evaluation
Write docs in proper Markdown

Also rename the info dir to doc
Rename BIF operations' macros

Also make the proper operations as reversible
Universal approach for all BIF operations
Add helpful script for printing a trace file
Rename some functions in cuter_z3

Set an easier to read and understand name
Elaborate on some comments
Add symbolic evaluation for erlang:'-'/1
Simulate 'and'/2,'andalso'/2,'or'/2,'orelse'/2
Simulate 'not'/1, 'xor'/2
Use the proper operand in div,rem tests
Add symbolic evaluation for '=:='/2, float/1
Add symbolic evaluation for '=/='/2

Also update the docs
Simulate '=='/2, '/='/2
Change the number in the macro OP_FLOAT