Fixes #10: Create abstraction for malloc/free/realloc
Fixes #4: Improve documentation in code conventions, and add information about the verifier.