[idris] fix bug in cbidris:smart-dot
[company] move to config-base, tweak vars
[idris] handle multi-line error message in flycheck checker
[idris] tweak smart ops
[idris] smart pipe command inserts idiom brackets
[idris] Use smartparens for deletion