do not run server in ideslave mode
send log over the wire if in ideslave mode
doesn't capture the Debug.Trace usage in Core (with log level >= 5) yet, unfortunately
Updated idrislang.sty
Update cabal to point at the right library dir!
Oops, missed another thing...

I should go home.
We need libs/Makefile too!

I should definitely go home.
respect $(MAKE), instead of using hardcoded make
Add more Stream operations now that we have them
Merge pull request #651 from hannesm/ideslave-logging

Ideslave logging support -- apart from the Debug.Trace uses in src/Core/
Merge pull request #652 from jfdm/contrib/idrislang.sty

Updated idrislang.sty
Merge pull request #653 from hannesm/use-DMAKED

respect $(MAKE), instead of using hardcoded make
Merge pull request #654 from Melvar/morestream

Add more Stream operations now that we have them
Separate base into base and prelude

Everything in prelude will be imported automatically, unless given
the --noprelude option. The idea is that what counts as "Idris" is the
compiler plus the Standard Prelude. Other libraries (base, effects, etc)
are still part of the distribution, but not necessarily standard.
Merge branch 'master' of github.com:idris-lang/Idris-dev

Conflicts:
	libs/Makefile
Forgot the Makefile in prelude!

Fixes #655
Move Decidable.Equality to Prelude
Update idris.cabal for Decidable
Class method types may depend on earlier methods

Classes are now represented as dependent records, rather than simple
records. This allows type classes to capture functions and their
properties together.
Take out the TODO that's TODONE for classes!
do not run the initscript if in ideslave mode