Removendo MANUAL_SETTINGS

Macro to profile code blocks. Using std::string instead of char* in profiler. New compiler variable to disable profiling.

Profiling all coral calls

- Re-enabled valgrind on OSX.
- Using -stdlib=libc++ by default on OSX.
- Some documentation tweaks.