feat(bin/linja): --flycheck option takes a width argument

Close #28
feat(emacs/lean-settings): pass 'pp.width' to lean via linja

Close #28
feat(emacs/lean-settings): pass 'pp.width' to lean via linja