Memory model enhancements.
* Added -mem-mod-dbg option to print memory reads and writes in Boogie traces.
* Added -mem-mod-impls option to generate implementations of $malloc, $free
  instead of bodiless procedures.
* Added -no-mem-mod-asserts option to generate $malloc, $free without asserting
  their preconditions; NOTE: this currently does nothing.