adapt cif for Python & connect framebuffer to ddr
use new migen API