chore(.gitignore): add .olean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/formatter): formatter_cell object should not perform destructive updates

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/io_state): add constructor for copying io_state, but replacing channels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): use io_state to report warning messages

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

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