Coq backend

Java side of the Coq backend. A statically linked binary is further ahead on bmmoore/k@cbdb4f79fdbc
this makes the child process immune to ^C which is probably not what we want