Katla: LaTeX code listing generator for Idris2

Dependencies:

• Idris2 downstream of PR#1335
• Installing the Idris 2 API
• Collie library for command line interfaces
• Idrall library for Dhall bindings

Demo

make temp/Example.pdf

PRs welcome!

Wishlist:

• Error handling
• Better support for incorporating into bigger documents by generating macros
• Batch mode
• Separate into a library + driver module (so we could write Idris programs that generate such sources)