Merge pull request #1081 from raichoo/javascript

Javascript
Merge pull request #1083 from david-christiansen/ideslave-refine

Add support for :refine to IDESlave
Merge pull request #1085 from david-christiansen/PhilipRasmussen-idrisdoc

Fix merge conflicts from IdrisDoc
Merge pull request #1084 from paulkoerbitz/add-fasta-benchmark

Add fasta benchmark
Rename test reg040 to avoid clash
Rename test in idris.cabal too...
Merge branch 'master' of github.com:idris-lang/Idris-dev
Merge branch 'fix-unsafeperformio' of https://github.com/ziman/idris into ziman-fix-unsafeperformio

Conflicts:
	idris.cabal
Merge pull request #1088 from david-christiansen/issue/983

Better error messages for emulated FFI calls
Merge pull request #1089 from david-christiansen/issue/1024

Allow argument comments to span lines
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.