Modified makefiles to add local IdrisDoc generation.
Fixed makefile spacing issues
"auto" now does proof search

Instead of just the "trivial" tactic, it now searches through possible
constructors.
Merge pull request #1313 from jfdm/libs/documentation

Building idrisdoc for libs/
Removed Unicode character from source file

Unicode is discouraged according to
https://github.com/idris-lang/Idris-dev/pull/694#issuecomment-29559291
Send serialized versions of TT terms in pprint

This is the basis for commands that manipulate previously-output terms.
Update Network library

(Taken from @SimonJF's IdrisNet2 library at
https://github.com/SimonJF/IdrisNet2)
Fix implicit spotting in case blocks

When case blocks are in types we need to check which names are bound in
the case block, and not automatically bind them.
C99 fix
Shorthand syntax for default case alternatives

Instead of
   Just x <- foo | _ => bar

Can now simply say
   Just x <- foo | bar
Add commands for working with serialised terms

In particular, IDEs can now request the implicit and explicit versions
of previously-output terms. They can also request normalisation.
Send original terms in error messages

This allows IDE users to normalise terms or show implicits in errors.
Added experimental neweffects library

Simplifying effects API by removing 'm' parameter from Eff and leaving
choice of computation context to the Handler.
Fix idris.cabal
Remove oldeffects

(I forgot I hadn't done this already... but there's surely nobody still
using it!)
Fix idris.cabal properly this time...
Annotate displayed IDE metavars with original terms
Maintain pretty-printer bound vars

This means serialized terms, when normalized, will have correct colors
for bound variables.
Preserve bound var info across implicitness changes
Merge pull request #1315 from david-christiansen/serialized-terms

Serialize original TT terms, and annotate pretty-printer output