Backend support for Java

Support for --target Java.

All operations (even including message passing) should work.
Tests (if applicable) pass, except for test021a, which fails for 32 vs 64 Bit integer reasons.

Add java/idris.jar to the CLASSPATH when compiling/running.