Added compile flag support to deactivate creation of the java backend
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
detach heap from vm struct
add heap properties checking
add basic rts options
Merge with upstream
Minor fix: detached heap reference
Minor fix: print rts opts help to stdout instead of stderr.
A bit more detailed rts stats.
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
Be more careful when unifying metavariable applications
Otherwise things get solved which shouldn't be. Fixes issue #227
Proper executable and object file creation via maven + need for run_java tests removed
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
added forgotten LStrLen primitive and length function for String
Merge branch 'AddMissingStrLen'
Fix another unification problem (solving things which shouldn't be)
Merge pull request #236 from fmap/stats

RTS stats, opts, some minor improvements.
Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLen

Conflicts:
	test/reg012/run