Be free of malloc

It was intended to do something, but does nothing but confuse people who
wonder why it's there...
Adding functions to Prelude.Vect
Merge pull request #1608 from edwinb/nomalloc

Be free of malloc
Merge pull request #1609 from johnny-john/vectfuncs

Adding functions to Prelude.Vect
Data.Hash library

Provides the Hashable typeclass, some instances and a regular
(non crypto) hashing function.
Some tests are provided.
Make Data.Hash total
Add Hash tests files to cabal
Take basic011 out of the javascript test suite
Improved docs for Data.Hash
Merge pull request #1586 from Helkafen/hash

Data.Hash module
Add syntax for example code to docs

Now, code defined with the "example" Markdown attribute will be rendered
as an inline REPL-style example. For instance:

````idris example
with List (reverse ["a", "b", "c"])
````

renders to

        > reverse ["a", "b", "c"]
        ["c", "b", "a"]
Merge pull request #1613 from david-christiansen/doc-examples

Add syntax for example code to docs
Merge branch 'master' of https://github.com/idris-lang/Idris-dev into repl-definitions