fix(bin/linja): pass args to call_lean and handle_failure_for_flycheck

Fix #163
feat(emacs/lean-company): "c-u TAB" asks filter for FINDG
checkpoint