Add support for init scripts

Now, ~/.idris/repl/init will be run when the REPL starts up. This can be used
to implement colour themes or to set other options.
Update CHANGELOG for init scripts
javascript: positional arguments
Have the REPL save its history between sessions
CHANGELOG update for REPL history
Prevent duplicate dynamic linking

This fixes a bug where :r would stop type providers from working.
javascript: prevent name possible name overlap
javascript: fix ffiwrap /HT ihmeckler
Merge pull request #478 from david-christiansen/repl-init

Add support for init scripts
Merge pull request #479 from david-christiansen/repl-persistent-history

Persistent history in REPL
Merge pull request #480 from david-christiansen/fix-duplicate-libs

Prevent duplicate dynamic linking
(Temporarily) remove java tests from travis

I don't have time to actively maintain the java backend, and the
Nat->BigInt optimisation has broken it. I'll put the tests back when
this is fixed.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #481 from raichoo/master

javascript
Merge pull request #482 from tauli/master

SimpleParser: fixed recursive combinators
Indent terms printed in typechecking errors

This should make errors more readable, i.e. instead of printing:

    Can't unify <SOME_LONG_TYPE> with <SOME_OTHER_VERY_LONG_TYPE>

this change makes it print

    Can't unify
        <SOME_LONG_TYPE>
    with
        <SOME_OTHER_LONG_TYPE>

and similarly for other errors.
Fix bug in compilation of optimised Nats
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #483 from yfyf/indent_errors

Indent terms printed in typechecking errors
Finished proof-reading implementation paper