Add (-) function for Fin
javascript: skip folding002 test
IdrisDoc begun
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
Fixed IdrisDoc errors and added REPL :help descriptions
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.
Changed IdrisDoc interface, updated command descriptions.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Change to infix form
Add splitAt function for List
Fix "Force" in case tree for new indexed form