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
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
Merge branch 'master' of https://github.com/JanBessai/Idris-dev into JanBessai-master