Extend formatter with support for definitions and postulates.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Pretty print condensed definitions

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

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