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
Remove files that shouldn't be in the repo

The ._ files are resource forks. They contain OS X metadata.
Merge pull request #233 from miikka/remove-garbage

Remove extraneous files from repo
add heap properties checking
Start of FFI infrastructure

Now I can convert Idris' FFI data to similar Haskell types.
add basic rts options
Add updateM to State effect
Fix name shadowing error when checking for linear patterns
Fix condition in allocate.
Merge remote-tracking branch 'upstream/master'
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.
Dynamically load C libraries in REPL
Top-level directive for dynamic linking

Now the syntax:

%dynamic "libfoo.so"

causes libfoo to be dynamically linked.
Completion and help for :dynamic at the REPL