Improve performance of format by using "space_upto_line_break" instead of "fits"
Restructure format, and fix bugs
Fix sexpr_text_length function to handle quotation in string
Add object iterator for environment objects

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move sexpr to util directory

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add initializer list constructor for hierarchical names

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add pretty printer for s-expressions and options

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