feat(library/error_handling): add helpers classes for creating WARNING and INFO annotations for flycheck

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): add 'sorry'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): add 'sorry'