Merge pull request #18 from aztek/master

Make Data.Sum.isInj_1 and Data.Sum.isInj_2 level-polymorphic
Updated the copyright year range.
Included Evgeny Kotelnikov in the list of contributors.
Included James Chapman in the list of contributors.
Fixed whitespace issues.
Preparation for the release of version 0.8.
Removed release-specific information.
Included Pepijn Kokke in the list of contributors.
Added .mailmap file.

The information from some Git commands, e.g. git shortlog -nse, is
better by using this file.
Added (bare) Data.Float
Updated Reflection to support quoted literals
Merge quoted literals
Fixed issue #25
Builtin bindings for reflected function definitions
Merge reflect-fundef
[ README.agda ] Fixed documentation
Updated Reflection with absurd clauses/patterns.
Updated reflection with pattern lambdas
Recursive records must now be declared as inductive or coinductive.
Reflection: add projections for Arg-info