javascript: added pointer for raw JS data
javascript: enhanced FFI (methods and mutations)
javascript: refactored FFI and added array operations
javascript: fold modules
javascript: move runtime into own js file
javascript: remove name from constructors
javascript: google closure fixes
javascript: move runtime into own namespace
javascript: better print function
Update tutorial/typesfuns.tex

Changing the operator used to construct the base case dependent pair in filter function.
Merge pull request #168 from bishboria/master

Updating incorrect operator used in the tutorial demonstrating filter and dependent pairs.
Merge pull request #158 from raichoo/javascript

JavaScript FFI enhancements
Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure

Conflicts:
	src/IRTS/CodegenJavaScript.hs
Fix samples to use Type instead of Set
Changed approach to unification
Instead of failing immediately, maintain a list of blocked problems and
refine during elaboration.
Add a reducing version of believe_me (be careful!)
Fix mysterious "no such variable" bug
Arguments under type constructors are not forceable!
HNF in unification to speed things up
javascript: check for keywords as identifiers