feat(bin/linja): add --cache option

Needed to solve #140
feat(emacs/lean-flycheck): "real" .clean file instead of "flycheck_real.clean"

Fix #140
feat(emacs/lean-flycheck): "real" .clean file instead of "flycheck_real.clean"