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
Fix name disambiguation bug in pruneByType by normalising types
Merge pull request #235 from fmap/master

Fix bug in allocate.
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)