Chain higher order Fun types
javascript: omit bounded001 test
Add a special name for instance constructors.
Bump IBC version.
Propagate parameters to records

Also a minor change in propagating parameters to data, for consistency.
Parameters become *implicit* arguments to constuctors (they are already
in the type after all).
Propagate function name to tactics

Handy for knowing where we are in proof search, for example
Add ManagedPtr type

A ManagedPtr is just like a Ptr, except it points to memory inside
Idris' heap, so doesn't need to be freed. This is useful when you need
to create a structure C side for interacting with a C library, but don't
want to have to explicitly free it.

Also added
registerPtr : (p : Ptr) -> (n : Int) -> ManagedPtr

This moves the n bytes pointed to by p into the Idris heap.

In a non-C backend, or one where memory is managed differently, it's
entirely reasonable for this to be compiled as a no-op. The FFI treats
both Ptr and ManagedPtr as a void* in C.
Fix missing case in CodegenJava
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
Merge pull request #942 from ziman/instance-ctors

Add special names for instance constructors
Merge pull request #941 from raichoo/javascript

javascript: omit bounded001 test
Add documentation in new format for various libs
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