fix(frontends/lean/parser): add to check ".lean" file

Add to check ".lean" file and output "<prefix>.olean" as a dependency.

Consider a case where we have:

    library/standard/nat.lean
    library/standard/int2.lean
    ...

and int2.lean has "import nat". In the previous version, '--deps'
prints out "nat.olean" in the lean