Merge pull request #371 from raichoo/javascript

Javascript
Give Pi bindings the proper name when elaborating lambdas
Fixes #360
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #367 from Ralith/travis-sdist

Build and test idris from the source distribution, not the git repository
Merge branch 'llvm3' of https://github.com/Ralith/Idris-dev into Ralith-llvm3

Conflicts:
	.travis.yml
Fix .travis.yml
Somehow I broke it in the last merge
Beginnings of integer SIMD support (no backend yet)
Delete unused utility functions
Define some primitive SIMD operators
Added SIMD vector index and update primitives
Fix IBC encoding of new IR arithmetic types
Remove incompete(?) pattern support for SIMD values
Support for serializing SIMD data
Parse integer SIMD types
SIMD comparison primitives
Vector operation support in LLVM codegen
Fix compatibility with llvm-general 3.3.2 and tighten version constraints to avoid future breakage
Direct object file output and accurate target selection
Enable optimizations
Rename --target to --codegen and add options to specify target triple and CPU, defaulting to that of host