Merge pull request #1674 from edwinb/uniquename-set

Use Set for unique name checking for efficiency
Extract java backend and dependencies to new repo

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