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
Merge pull request #478 from david-christiansen/repl-init

Add support for init scripts