Merge pull request #476 from david-christiansen/color-repl

Beginning of theming support for REPL colors
Merge pull request #477 from david-christiansen/color-repl

Set colors at REPL
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.
Compile Nat as Int, (and plus/mult/fromInteger)

Currently done as a special case transformation - we should provide syntax
eventually so that any desired optimisation can be done as transformations in
patterns/terms.
javascript: prevent name possible name overlap
javascript: fix ffiwrap /HT ihmeckler
Final (I hope!) implementation paper tinkering
SimpleParser: fixed recursive combinators
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