Swig python bindings for expr.cpp

This is the first step for creating the python lean bindings, @soonhokong helped me get the CMake commands right 
for linking and the commit messages (that's why they are so clean). The module can simply be run by python 

```python
>> import lean
>> lean.mk_lambda(...)
```