Updated README: Coq 8.4pl1 instead of beta EvgenyMakarov in URL instead of c-corn