Coq backend

Java side of the Coq backend. A statically linked binary is further ahead on bmmoore/k@cbdb4f79fdbc
okay sounds good