Chain higher order Fun types
New syntax for documentation comments

Implementation entailed removing documentation from the idris_implicits
field of IState, which is why so many files are touched.
Add new doc syntax to CHANGELOG
Add documentation in new format for various libs
Add resourceType function for convenience in Eff
javascript: do not include jsbn if not needed
whitespace
javascript: remove overlapping case
Merge pull request #945 from david-christiansen/new-docs

New syntax for documentation comments
Merge pull request #948 from raichoo/javascript

Javascript
Merge branch 'master' of github.com:idris-lang/Idris-dev
Treat (=) as a special function name.
Includes a regression test.

Fixes #884
Merge branch 'master' into FunctionChains

Conflicts:
	libs/base/Data/Fun.idr
Merge pull request #927 from JanBessai/FunctionChains

Chain higher order Fun types
Merge pull request #950 from JanBessai/EqualityOperatorParserFix

Treat (=) as a special function name.
Equivalence and congruence relations
Congruence over a single function instead of all functions
Fix for name shadowing in evaluator

Things are much easier if we have unique names everywhere, but we didn't
quite have it right in the evaluator (it wasn't checking the outer
environment when evaluating in a surrounding environment).

Fixes #642
Merge branch 'master' of github.com:idris-lang/Idris-dev
Merge pull request #953 from JanBessai/OrderEqCong

Equivalence and congruence relations