Add a python3-friendly cffi