fix(emacs/lean-syntax): use word-boundary instead of symbol-boundary
fix(emacs/lean-company): always allow typing for FIND_P
feat(emacs/lean-company): add auto-completion for option names
fix(frontends/lean/decl_cmds): warning message when compiling with clang++