fixes idris-lang.org link in readme
Merge pull request #1 from bgilb/master

fixes idris-lang.org link in readme