changed the first sentence of the readme

The Idris website says that Idris is a "general-purpose" programming language.  The readme should match that, put the right first impression in people's minds and all that jazz.