Early buffer implementation for the Java codegen
Minor fixes for the Java backend
Merge branch 'master' into JavaBackendFixes
* Make regression test029 work by adding a wrapper loading environment variables to properties
* Include sugar004
added "prim__registerPtr" noop for Java
Merge branch 'JavaBuffers' into JavaBackendFixes

Conflicts:
	src/IRTS/CodegenJava.hs
Updated idrislang.sty to ensure singlespacing code blocks
More documentation for runnning effects.
Merge branch 'master' into JavaBackendFixes

Conflicts:
	test/reg029/run
SystemInfo primitive added to Java Backend
buffers done
fix missing tests
Java rts version update to 0.9.14
Added myself to contributors
Merge branch 'master' into JavaBackendFixes
isInfixOf for List
Allow induction on terms instead of simply names
Added tactic for case analysis.
Also, induction now work on expressions instead of simply names.
Final cleanup/check of case tactic implementation
Deal with 'Delay' in case building properly

We mustn't inspect the laziness type, because we'll never have it. (This
is a bit of a hack and relies on never having two different types of
laziness in the same argument, but since that doesn't make sense anyway,
I believe this is safe!)

Fixes #1295