Function start_agda 

pub fn start_agda(agda_program: &str) -> JustStdio

Start the Agda process and return the stdio handles.

Note that this function may panic.