Extract java backend and dependencies to new repo

It's now in idris-hackers/idris-java, but I can't promise it works.