javascript: skip folding002 test
Show argument names in :doc

Now, :doc will show the names of any documented arguments, even if they
are not used in the body.

Fixes #1000.
Stop showing __pi_arg and MNs in docs
Insert U, UL, and ULL suffixes in C

Now, generated C constants for Bits8, Bits16, Bits32, and Bits64 get the
appropriate suffixes for unsignedness and longness (-U, -U, -UL, -ULL,
respectively). This gets rid of warnings and fixes #932.
Fixing the build.
Revert the trifecta change.
Only show documented arguments in :doc

This reduces redundancy, avoids showing internal names like __pi_arg,
and takes up less space. New output:

    Idris> :doc foldl
    foldl : Foldable t => (acc -> elt -> acc) -> acc -> (t elt) -> acc

    Idris> :doc id
    id : a -> a
        Identity function.

    Idris> :doc the
    the : (a : Type) -> (x : a) -> a
        Manually assign a type to an expression.
        Arguments:
            a : Type  -- the type to assign

            x : a  -- the element to get the type
Merge pull request #1004 from gabemc/issue/1003

Fixing the build.
Merge pull request #999 from raichoo/javascript

javascript: skip folding002 test
Merge pull request #1001 from david-christiansen/doc-arg-names

Show argument names in :doc, and don't show undocumented args
Merge pull request #1002 from david-christiansen/issue/932

Insert U, UL, and ULL suffixes in C
Allow getting and setting options from IDESlave

This supports checkboxes in Emacs for show implicits and error
context.
Add splitAt function for List
Fix "Force" in case tree for new indexed form
Merge pull request #1006 from david-christiansen/ideslave-opts

Allow getting and setting options from IDESlave
Add name of arguments in type declaration for proper documentation
Use postulates for decEq primitive proofs

This means we can assert there is a proof at compile-time, but we're not
going to rely on the structure of that proof anywhere (which can cause
problems if they are relied on elsewhere).

Fixes #1005
Add semantic highlighting info for metavariables

This will enable the appropriate fonts to be used in IDEs such as idris-mode
Provide IDESlave output with docs and type

Now, IDESlave provides the docstring overview and type of names that it
decorates. The module Idris.Output was introduced to remove some cyclic
dependency problems.
Fix deadlock in RTS when using allocation in native code

When marking a section of memory for allocation using requireAlloc, any
requests to the allocate function (which would generally happen from
native code, such as the SDL library) would try and acquire the same
allocation lock.

The fix makes this a reentrant lock.