update IPython js/css from master
remove no-longer-necessary hacks

use the cleaner `settings` recently introduced
add stdin handler