Merge pull request #1484 from edwinb/nulltype

Add Borrowed types
javascript: lift out javascript backend
javascript: lift out node backend
Merge pull request #1487 from raichoo/master

Lift out javascript related backends
Merge branch 'master' of github.com:idris-lang/Idris-dev