Modified makefiles to add local IdrisDoc generation.
Fixed makefile spacing issues
Merge pull request #1313 from jfdm/libs/documentation

Building idrisdoc for libs/
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
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...