FFI module for SDL framebuffer

this implements the einkfb API with FFI for the SDL part. The pure framebuffer part is still to be done. koreader-base (the script) automatically loads the right module (FFI or Lua/C API) for now.