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.
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
Change NoJava flag to Java, and make no java back end the default
Make no java default compilation method
Strip impossible cases when building case trees
Rename EFF to EFFECT (for more consistent naming rules)
Java FFI: imports included and dependencies downloaded via maven
Merge branch 'master' of http://githib.com/edwinb/Idris-dev