Fix error with linearity checking in patterns
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
Merge pull request #232 from hannesm/unify-help-and-completion

unify help and completion of REPL - previously they were not in sync, no...
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 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 branch 'master' of http://githib.com/edwinb/Idris-dev