feat(emacs/lean-settings): add lean-flycheck-pp-width and lean-flycheck-max-messages-to-display
feat(bin/linja): add --flycheck-max-messages

Close #134