Badges.

Badges added to the README that display:

+ Status of Travis for master
+ Hackage information.

This should provide users, and casual observers with some added information about Idris and the build process.