Updates to README.md

+ Added Headers.
+ Add more comprehensive information over installing idris from hackage and from source.
+ Add links for more information.
+ Reformated existing sections.
Merge pull request #1798 from jfdm/update/readme

Updates to README.md