Merge pull request #506 from ahmadsalim/master

Further work on parser
Merge pull request #510 from LeifW/universal_target_override

Make --install respect TARGET for .ibc AND objects
Merge pull request #511 from raichoo/master

javascript: added test 29 to 31 to suite
Merge pull request #514 from raichoo/javascript

Javascript
Allow records in mutual blocks

Now check type on first pass, body on second. Fixes #515.
documentation: added javascript codegen section to tutorial
remove vim files from contrib in favor of idris-hackers repo
runtest.pl revised and cleaned up
Split Parser.hs into several files

In order to help cut down rebuild time. We have 'Helpers', 'Ops'
and 'Exprs' with Parser.hs now containing top level declarations.
Merge pull request #516 from raichoo/master

documentation: added javascript codegen section to tutorial
Merge pull request #517 from raichoo/vim

remove vim files from contrib in favor of idris-hackers repo
Merge pull request #518 from tauli/master

runtest.pl revised and cleaned up
Further splitting of Parser

This seems to help the build on lower memory machines (< 1Gb being
lower memory!)
Fix segfault in MKSTR

Can't assume that the string resulting from an FFI call is not null!
The RTS generally assumes strings are not null later, however, so it's
important to test.
tutorial ffi: add emphasis

Add emphasis to 'target' in the examples so the string 'target' doesn't
get confused with concrete syntax:

    %include target "x"
tutorial: fix typos, add additional step to proof

An additional step is needed to prove plusredZ_S, namely compute.
tutorial: update interactive proof

Update interactive proof so it matches what one would get at the moment.
Merge pull request #519 from reynir/master

Update tutorial
javascript: apply uses an extra stackframe, not good
javascript: add JSFalse to AST