Early buffer implementation for the Java codegen
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>
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