Coq backend

Java side of the Coq backend. A statically linked binary is further ahead on bmmoore/k@cbdb4f79fdbc
can you make it into a junit integration test actually?