checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Universe levels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug in universe levels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix space

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Update format.cpp & format.h
Add instructions for OS X 10.8 in README.md
Update test cases - util/format.cpp
Update util/format.cpp & format.h
Fix bug