Coq backend

Java side of the Coq backend. A statically linked binary is further ahead on bmmoore/k@cbdb4f79fdbc
As you pointed out, we'd have to commit the binary.