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
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
Tweak scoping rules in instance generation

Variable names in the instance head should be propagated as parameters
to the methods, just like other parameters.

Fixes #956
Fix unbound implicit rules

We were automatically binding names in function position, which is not
what the tutorial says and not what I intended... this can lead to
strange error reports.

Fixes #913
Merge pull request #957 from JanBessai/OrderEqCong

Congruence over a single function instead of all functions