Updates to ipkg file.
Updated chargen to stream.
Added Alt time for bugs.
Fixed to work with Idris 0.9.15.1.