We need to fix two compilation errors caused by breaking changes in
dependencies of idris 1.3.3:
* haskeline >= 0.8
* megaparsec >= 0.9
For both there is a patch on idris master which we can just apply. Both
can presumably removed as soon as the next release of idris 1 hits.
Co-authored-by: Jake Gillberg <jake.gillberg@protonmail.com>