Reorganise dependent pair types in Prelude.
Add Prelude.Pairs to the ipkg.
Remove the DependentPair typeclass.
Fix dependent pair names in reg030.
Import Prelude.Pairs into Prelude.
Add test, create the DepPair typeclass.
Make evidence witness explicit.
Implement basic010.
Implement basic010 properly.
Add a timeout.
Fix indentation, use monomorphic projections for pairs.
Rename Pair to Sigma.
Fix reg030.
Add new Err constructor to disambiguate the CantResolveAlts constructor.

(Ironic?) I did this to facilitate pretty printing of names when
Idris cannot disambiguate among alternatives.
Enable pretty printing of CantResolveAlts errors.

I undid the creation of the CantResolveTactics constructor, and instead
ensured all CantResolveAlts errors provide Names in some way.
Added descriptions to Options parser for the 'help' flag.
Added warranty information to the Idris Repl.

Added REPL command: `:w`, `:warranty`.

This command displays the warranty information governing the use of `Idris`. This information comes from the last paragraph of the software license that `Idris` is licensed under.
Modified REPL banner statement.
Fixed case-splitting

On case-splitting "x" in "test_x x = ..." it was replacing both occurences
of "x" (including that one in "test_x").

Most likely this fix does not cover all the possible cases and it should be
fixed further.
One more case-splitting fix