Compile to Kaliningraph IR

[breandan]

Kaliningraph is a BLAS-backed graph library which supports computation graphs with interactive debugging and visualization. This would enable users to "see" backpropagation and visually step through the program while it is executing. It also supports constant propagation and has a sparse matrix representation, for optimized execution. We will need to implement an arithmetic circuit encoder to benefit from Miller's evaluator.