feat(/frontend/python): Create a common file for lean bindings

The file lean.i includes the actual interface files, which themselves
are copies of the .h files of the same name. The .i files are not
strictly necessary, but are convenient for small modifications or
extensions relevant to python.