Reset readline before and after entering IPython
Add (disabled) pyinotify based relaoder and websocket server
Properly print STVector256