Remove use of mic-paren as its features seem to be in Emacs