Accessing Agda's interaction mode via command line.
This crate currently works only with nightly rust because tokio-process 0.3 haven't reached a stable-compatible release. Once they release a newer (even alpha) version, this crate should work for stable rust as well.
Also, this crate will work with master-branch Agda until Agda 2.6.1 is released.