Extract java backend and dependencies to new repo

It's now in idris-hackers/idris-java, but I can't promise it works.
Merge pull request #1675 from edwinb/javaectomy

Extract java backend and dependencies to new repo