fix the ipython keybindings for F12, F11, F10, F9, F8

ipython since version 5.0 (I guess) stopped using libreadline, now we must make the bindings in another way. It works now, for me at least.