I think it's nice to have download links, sometimes people will just want to get Tidy quickly without having to clone the repo. That being said, it would make much more sense having links to compiled binaries for each platform or even an online tool (after all the compilation is a much bigger hurdle than figuring Git out), but these would be a bit more effort to set up :) Hopefully Travis or some similar platform will do C at some point, but I'm not holding my breath.
I've added the banner as a standard thing which most Github Pages have, but you're completely right about it just repeating info in the first sentence so it should be either / or.