Add list template.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add normalize

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix stack overflow at travis when using clang++ 3.3 in debug mode

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add multi-thread tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Improve documentation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add has_free_var, lower_free_vars

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add eta-reduction

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