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
src/Idris/ParseHelpers.hs: workaround build failure against ghc-7.8

> [50 of 75] Compiling Idris.ParseHelpers ( src/Idris/ParseHelpers.hs, dist/build/Idris/ParseHelpers.o )
>
> src/Idris/ParseHelpers.hs:40:97:
>     Could not coerce from ‘Monad Parser’ to ‘Monad IdrisInnerParser’
>       because the first type argument of ‘Monad’ has role Nominal,
>       but the arguments ‘Parser’ and ‘IdrisInnerParser’ differ
>       arising from the coercion of the method ‘notFollowedBy’ from type
>                    ‘forall a. (Monad Parser, Show a) => Parser a -> Parser ()’ to type
>                    ‘forall a.
>                     (Monad IdrisInnerParser, Show a) =>
>                     IdrisInnerParser a -> IdrisInnerParser ()’
>     Possible fix:
>       use a standalone 'deriving instance' declaration,
>         so you can specify the instance context yourself
>     When deriving the instance for (Parsing IdrisInnerParser)

I'm not sure if it's a ghc-7.8.1-rc2 bug or feature.
Looks like standalone deriving does not try to infer (too tight) context.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
javascript: make FFI part of AST
javascript: add google closure annotations to AST
Merge pull request #947 from raichoo/javascript

javascript
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