Add MonoDevelop support

Version: Mac OS 32-bit.
Redirect z3.dll to libz3.dylib 32-bit.
Normalize include paths

NB: MonoDevelop on Mac requires absolute paths with #I