Hi Guix,

a lot of changes were required to update IPython.  I took the
opportunity to move most of the inputs to propagated-inputs, as they are
very likely required to be available at runtime.