Added compile flag support to deactivate creation of the java backend
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Removed some unnecessary closures
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Refactored Java backend to be more monadic and to allow for the future extension of globals
Proper executable and object file creation via maven + need for run_java tests removed
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Merge branch 'AddMissingStrLen'
Merge branch 'master' of https://github.com/JanBessai/Idris-dev into JanBessai-master
Change NoJava flag to Java, and make no java back end the default