Fix a typo in an error message.
In-language implementation of Show BitsN

They are printed as unsigned hexadecimal integers. There's no `0x`
prefix.
Make it compile, and use a List instead of a Vect

- It was necessary to add the new file lib/Prelude/Bits.idr to
  lib/base.ipkg.

- In lib/Prelude/Chars.idr, use a List instead of a Vect - no need to
  know the size.
Fix imports and make hexVect local

It *should* compile now
Changed the way addproof works to indented-block style
Allowed a larger range of expression to work with slices (improves on
idris-lang/Idris-dev#524)
Fix broken build caused by 3fdf1a03
Merge pull request #533 from Ralith/fix-js-build

Fix broken build caused by 3fdf1a03
Merge pull request #529 from ziman/master

Fix a typo in an error message.
Propagate '%assert_total' to with blocks

Otherwise they don't reduce properly when typechecking
Fix compilation of unqualified constructor names

Need lookupCtxtExact when we know we are looking up full names, even
if unqualified.
Remove irrelevant comment
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #528 from ahmadsalim/master

Improvement regarding parsing of slices, and addproof syntax
Merge branch 'show-bits-in-language' of https://github.com/reynir/Idris-dev into reynir-show-bits-in-language
Make more type classes resolve, by matching rather than unification

Change 'apply' to 'match_apply' so that missing arguments are filled in by
matching on normal forms. This is safe (we think), since type class resolution
is merely looking for one instance which works, and this will make more
instances work.

Fixes #527
Unification tweak for unifying types and metavariable applications

Fixes #507
Decidable.Equality: Add DecEq (Vect n a) instance
Remove unneeded lemma
Decidable.Equality: "Inline" vectDecEq
Improves upon/fixes idris-lang/Idris-dev#530