Added fixes from lib/compiler/.
Finished MacOS build
Build documentation for MacOS
Merge pull request #28 from ggutierrez/fix/osxbuild-doc

Build documentation for MacOS
Update README.MacOS.md

typo
Rebase submodules lib/main and vm
Merge remote-tracking branch 'official/master'
Rebase mozart2 and submodule lib/compiler
Deleted official boosthost submodule.
Addded boosthost submodule with constraint programming support
Modified boosthost submodule in order to give public access
Reflect changes in boosthost and lib/main