Update CHANGELOG/CONTRIBUTORS
Give Philip credit in CHANGELOG and CONTRIBUTORS

This adds IdrisDoc to these places.
Merge pull request #1090 from david-christiansen/rasmussen-credit

Give Philip credit in CHANGELOG and CONTRIBUTORS
Add some UTF8 to CONTRIBUTORS.
Merge pull request #1091 from ziman/accents

Add some UTF8 to CONTRIBUTORS
Coverage checker fix

If a candidate case fails with a 'recoverable' unification error (i.e.
one which could be fixed by allowing more reduction somewhere) then it
should be considered valid for coverage checking purposes.

Fixes #1069 (and possibly some others, not checked yet!)

(There is, I think a better fix, involving better generation of
candidate cases, which I will leave for another time)
Merge branch 'master' of github.com:idris-lang/Idris-dev
Tweak notion of recoverability in coverage checker

Fixes #970
Make completeCmd total
Add docstrings to internally defined types

Add docstrings to the type constructors and constructors for (=), (,),
_|_, and (). Some of these are not easy to look up from :doc, but they
show up in tooltips in certain IDEs, and :doc should be improved to make
them easier to find.
Add -e EXPR to evaluate expressions w/out REPL

The command line option follows the convention from Perl. This causes
Idris to evaluate the provided expressions, pretty-printing them without
line breaks. Then, test results need not depend on terminal widths any
longer. If multiple -e options are provided, then the expressions are
evaluated in order.
Improve the portability of reg041
Enable word-wrapping in docstrings

Now, docstrings will be rendered to the console with word-wrapping.
Docstring improvement for prop. eq.
Add note about additional docs to CHANGELOG
Normalise before case split

Allows case split to work on type synonyms. Fixes #805.
Merge pull request #1093 from puffnfresh/bug-fixes

Make completeCmd total
Merge pull request #1094 from david-christiansen/internal-docstrings

Docstrings for internal types + test portability fix
Read 'lineapps' data from IBC

...since it's now saved there, and assuming we need to read it from
source means that we can't use interactive commands when loading from
ibcs. Fixes #1095.
Merge branch 'master' of github.com:idris-lang/Idris-dev