Fix term size calculation for inlining
Now counting binders other than Let, so lots of things previously inlined
over-aggressively are now not inlined.
Merge branch 'master' of github.com:edwinb/Idris-dev
Don't inline for compilation (because the evaluator makes bad choices)
Instead, inline the compile-time representation to help the totality
checker only. This can cause subexpressions to be duplicated, so should
be avoided at run-time.
For the run-time representation, inline later at IRTS level.

Fixes #368
javascript: added test suite
javascript: fixed primitive string reverse
javascript: bigint compare
javascript: make node backend use shebang
javascript: tests should use node with shebang
Define Prelude.List.replicate in a way that doesn’t require %assert_total
Fix simple monadic parser
Merge pull request #372 from Melvar/master

Give replicate a simple total definition
Merge pull request #373 from SimonJF/simpleparser

Fix simple monadic parser
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