chore(bin/linja): add copyright
feat(bin/linja): make deps when there are missing ones
feat(bin/linja): call lean after ninja if ninja failed
lean-mode checkpoint