Suggestion: add a py.typed file

[jonathan-laurent]

Since this library has good type annotations, an empty py.typed file should be added to src/lean_interact so that type checkers can use them without showing a warning.

See https://peps.python.org/pep-0561/#packaging-type-information